Number of items: 1.
European Research Council (ERC)
Chistikov, Dmitry and Haase, Christoph
(2017)
On the complexity of quantified integer programming.
In: The 44th International Colloquium on Automata, Languages, and Programming (ICALP), Warsaw, Poland, 10-14 July 2017. Published in: 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017), 80
94:1-94:13.
ISBN 9783959770415.
doi:10.4230/LIPIcs.ICALP.2017.94
ISSN 1868-8969.
This list was generated on Fri Apr 19 01:01:49 2024 BST.