Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
On the Complexity of Quantified Integer Programming - MaRDI portal

On the Complexity of Quantified Integer Programming

From MaRDI portal

Publication:5111426

Jump to:navigation, search

DOI10.4230/LIPIcs.ICALP.2017.94zbMath1442.68069OpenAlexW2741124207MaRDI QIDQ5111426

Christoph Haase, Dmitry Chistikov

Publication date: 27 May 2020

Full work available at URL: https://doi.org/10.4230/LIPIcs.ICALP.2017.94

zbMATH Keywords

integer programming quantifier elimination semi-linear sets Presburger arithmetic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Integer programming (90C10) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (2)

On the complexity of robust multi-stage problems with discrete recourse ⋮ On commensurability of right-angled Artin groups II: RAAGs defined by paths

This page was built for publication: On the Complexity of Quantified Integer Programming

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5111426&oldid=19632250"