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: Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017) ISSN 1868-8969. doi:10.4230/LIPIcs.ICALP.2017.94 (In Press)

Preview

PDF WRAP-complexity-quantified-integer-Chistikov-2017.pdf - Published Version - Requires a PDF viewer. Available under License Creative Commons Attribution. Download (926Kb) | Preview

Request Changes to record.

Item Type:	Conference Item (Paper)
Subjects:	Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Divisions:	Faculty of Science > Computer Science
Library of Congress Subject Headings (LCSH):	Integer programming, Computer science -- Mathematics
Journal or Publication Title:	Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017)
ISSN:	1868-8969
Official Date:	14 April 2017
Dates:	Date Event 14 April 2017 Accepted
Date of first compliant deposit:	3 July 2017
DOI:	10.4230/LIPIcs.ICALP.2017.94
Status:	Peer Reviewed
Publication Status:	In Press
Access rights to Published version:	Open Access
Funder:	European Research Council (ERC)
Grant number:	VS-ISS (648701)
Conference Paper Type:	Paper
Title of Event:	The 44th International Colloquium on Automata, Languages, and Programming (ICALP)
Type of Event:	Conference
Location of Event:	Warsaw, Poland
Date(s) of Event:	10-14 July 2017
Related URLs:	Organisation Publisher

Request changes or add full text files to a record

Repository staff actions (login required)

View Item

Downloads