Publications

---

A general model-and-run solver for multistage robust discrete linear optimization

The paper is available here.

@article{hartisch2022general,
  title={A general model-and-run solver for multistage robust discrete linear optimization},
  author={Hartisch, Michael and Lorenz, Ulf},
  journal={arXiv preprint arXiv:2210.11132},
  year={2022}
}

---

Quantified integer programming with polyhedral and decision-dependent

The paper is available here.

@phdthesis{hartisch2020quantified,
  title={Quantified integer programming with polyhedral and decision-dependent uncertainty},
  author={Hartisch, Michael},
  school={University of Siegen, Germany},
  year={2020}
}

---

Multistage robust discrete optimization via quantified integer programming

The paper is available here.

@article{goerigk2021multistage,
  title={Multistage robust discrete optimization via quantified integer programming},
  author={Goerigk, Marc and Hartisch, Michael},
  journal={Computers \& Operations Research},
  volume={135},
  pages={105434},
  year={2021},
  publisher={Elsevier}
}

---

Adaptive Relaxations for Multistage Robust Optimization

The paper is available here.

@inproceedings{hartisch2021adaptive,
  title={Adaptive Relaxations for Multistage Robust Optimization},
  author={Hartisch, Michael},
  booktitle={Pacific Rim International Conference on Artificial Intelligence},
  pages={485--499},
  year={2021},
  organization={Springer}
}

---

A novel application for game tree search-exploiting pruning mechanisms for quantified integer programs

The paper is available here.

@article{hartisch2020quantified,
  title={Quantified integer programming with polyhedral and decision-dependent uncertainty},
  author={Hartisch, Michael},
  year={2020}
}

---

Robust multistage optimization with decision-dependent uncertainty

The paper is available here.

@inproceedings{hartisch2020robust,
  title={Robust multistage optimization with decision-dependent uncertainty},
  author={Hartisch, Michael and Lorenz, Ulf},
  booktitle={Operations Research Proceedings 2019: Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Dresden, Germany, September 4-6, 2019},
  pages={439--445},
  year={2020},
  organization={Springer}
}

---

Yasol: an open source solver for quantified mixed integer programs

The paper is available here.

@inproceedings{ederer2017yasol,
  title={Yasol: an open source solver for quantified mixed integer programs},
  author={Ederer, Thorsten and Hartisch, Michael and Lorenz, Ulf and Opfer, Thomas and Wolf, Jan},
  booktitle={Advances in Computer Games: 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3--5, 2017, Revised Selected Papers 15},
  pages={224--233},
  year={2017},
  organization={Springer}
}

---

Quantified Integer Programs with Polyhedral Uncertainty Set

The paper is available here.

@inproceedings{hartisch2016quantified,
  title={Quantified integer programs with polyhedral uncertainty set},
  author={Hartisch, Michael and Ederer, Thorsten and Lorenz, Ulf and Wolf, Jan},
  booktitle={Computers and Games: 9th International Conference, CG 2016, Leiden, The Netherlands, June 29--July 1, 2016, Revised Selected Papers 9},
  pages={156--166},
  year={2016},
  organization={Springer}
}

---

Quantified linear programs: a computational study

The paper is available here.

@inproceedings{ederer2011quantified,
  title={Quantified linear programs: a computational study},
  author={Ederer, Thorsten and Lorenz, Ulf and Martin, Alexander and Wolf, Jan},
  booktitle={European Symposium on Algorithms},
  pages={203--214},
  year={2011},
  organization={Springer}
}

---

Modeling games with the help of quantified integer linear programs

The paper is available here.

@inproceedings{ederer2012modeling,
  title={Modeling games with the help of quantified integer linear programs},
  author={Ederer, Thorsten and Lorenz, Ulf and Opfer, Thomas and Wolf, Jan},
  booktitle={Advances in Computer Games: 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers 13},
  pages={270--281},
  year={2012},
  organization={Springer}
}

---

Quantified combinatorial optimization

The paper is available here.

@inproceedings{ederer2014quantified,
  title={Quantified combinatorial optimization},
  author={Ederer, Thorsten and Lorenz, Ulf and Opfer, Thomas},
  booktitle={Operations Research Proceedings 2013: Selected Papers of the International Conference on Operations Research, OR2013, organized by the German Operations Research Society (GOR), the Dutch Society of Operations Research (NGB) and Erasmus University Rotterdam, September 3-6, 2013},
  pages={121--128},
  year={2014},
  organization={Springer}
}