On the Complexity of Quantified Integer Programming

Dmitry Chistikov, Christoph Haase
January 2017
PDF DOI
Type
Conference paper
Publication
Automata, Languages, and Programming, ICALP