Thorsten Ederer, Ulf Lorenz, Thomas Opfer, Jan Wolf. Modeling Games with the Help of Quantified Integer Linear Programs. In H. Jaap van den Herik, Aske Plaat, editors, Advances in Computer Games - 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers. Volume 7168 of Lecture Notes in Computer Science, pages 270-281, Springer, 2011. [doi]
Abstract is missing.