
The Library
On the complexity of quantified integer programming
Tools
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)
|
PDF
WRAP-complexity-quantified-integer-Chistikov-2017.pdf - Published Version - Requires a PDF viewer. Available under License Creative Commons Attribution. Download (926Kb) | Preview |
Official URL: https://doi.org/10.4230/LIPIcs.ICALP.2017.94
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 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: |
Request changes or add full text files to a record
Repository staff actions (login required)
![]() |
View Item |
Downloads
Downloads per month over past year