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

Solution Techniques for Quantified Linear Programs and the Links to Gaming. - Ulf Lorenz; Thomas Opfer; Jan Wolf (Computers and Games, 2013)

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

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

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