Skip to main content

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