Thomas Opfer

According to our database, Thomas Opfer authored at least 5 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Yasol: An Open Source Solver for Quantified Mixed Integer Programs.

Thorsten Ederer, Michael Hartisch, Ulf Lorenz, Thomas Opfer, Jan Wolf

Proceedings of the Advances in Computer Games - 15th International Conferences, 2017

2014

Multistage Optimization with the Help of Quantified Linear Programming.

Thorsten Ederer, Ulf Lorenz, Thomas Opfer, Jan Wolf

Proceedings of the Operations Research Proceedings 2014, 2014

2013

Quantified Combinatorial Optimization.

Thorsten Ederer, Ulf Lorenz, Thomas Opfer

Proceedings of the Operations Research Proceedings 2013, 2013

Solution Techniques for Quantified Linear Programs and the Links to Gaming.

Ulf Lorenz, Thomas Opfer, Jan Wolf

Proceedings of the Computers and Games - 8th International Conference, 2013

2011

Modeling Games with the Help of Quantified Integer Linear Programs.

Thorsten Ederer, Ulf Lorenz, Thomas Opfer, Jan Wolf

Proceedings of the Advances in Computer Games - 13th International Conference, 2011