Yasol: An Open Source Solver for Quantified Mixed Integer Programs

@inproceedings{Ederer2017YasolAO,
  title={Yasol: An Open Source Solver for Quantified Mixed Integer Programs},
  author={Thorsten Ederer and Michael Hartisch and Ulf Lorenz and Thomas Opfer and Jan Wolf},
  booktitle={ACG},
  year={2017}
}