Modeling Games with the Help of Quantified Integer Linear Programs. - Thorsten Ederer; Ulf Lorenz; Thomas Opfer; Jan Wolf (ACG, 2011)

Quantified Linear Programs: A Computational Study. - Thorsten Ederer; Ulf Lorenz; Alexander Martin 001; Jan Wolf (ESA, 2011)

Quantified Combinatorial Optimization. - Thorsten Ederer; Ulf Lorenz; Thomas Opfer (OR, 2013)

Experimental Validation of an Enhanced System Synthesis Approach. - Lena C. Altherr; Thorsten Ederer; Ulf Lorenz; Peter F. Pelz; Philipp Pöttgen (OR, 2014)

Designing a Feedback Control System via Mixed-Integer Programming. - Lena C. Altherr; Thorsten Ederer; Ulf Lorenz; Peter F. Pelz; Philipp Pöttgen (OR, 2014)

Multistage Optimization with the Help of Quantified Linear Programming. - Thorsten Ederer; Ulf Lorenz; Thomas Opfer; Jan Wolf (OR, 2014)

Multicriterial Design of a Hydrostatic Transmission System Via Mixed-Integer Programming. - Lena C. Altherr; Thorsten Ederer; Lucas S. Farnetane; Philipp Pöttgen; Angela Vergé; Peter F. Pelz (OR, 2015)

Algorithmic System Design Using Scaling and Affinity Laws. - Lena C. Altherr; Thorsten Ederer; Christian Schänzle; Ulf Lorenz; Peter F. Pelz (OR, 2015)

Quantified Integer Programs with Polyhedral Uncertainty Set. - Michael Hartisch; Thorsten Ederer; Ulf Lorenz; Jan Wolf (Computers and Games, 2016)

A Mixed-Integer Nonlinear Program for the Design of Gearboxes. - Lena C. Altherr; Bastian Dörig; Thorsten Ederer; Peter F. Pelz; Marc E. Pfetsch; Jan Wolf (OR, 2016)

Yasol: An Open Source Solver for Quantified Mixed Integer Programs. - Thorsten Ederer; Michael Hartisch; Ulf Lorenz; Thomas Opfer; Jan Wolf (ACG, 2017)