On the Complexity of Quantified Integer Programming
Dmitry Chistikov and Christoph Haase
Book Title
Automata‚ Languages‚ and Programming‚ ICALP
Pages
94:1–94:13
Publisher
Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik
Series
LIPIcs
Volume
80
Year
2017