On the complexity of quantified integer programming

DOI10.4230/LIPICS.ICALP.2017.94zbMATH Open1442.68069OpenAlexW2741124207MaRDI QIDQ5111426FDOQ5111426

Authors: Christoph Haase, Dmitry Chistikov 

Publication date: 27 May 2020

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

Recommendations

• The computational complexity of integer programming with alternations
• The computational complexity of integer programming with alternations
• Automated Reasoning
• Tractable fragments of Presburger arithmetic
• On a decision procedure for quantified linear programs

zbMATH Keywords

integer programmingquantifier eliminationPresburger arithmeticsemi-linear sets

Mathematics Subject Classification ID

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

Cited In (10)

• On the complexity of quantified linear systems
• On the complexity of the quantified bit-vector arithmetic with binary encoding
• Automated Reasoning
• The computational complexity of integer programming with alternations
• Integer programming models for the \(q\)-mode problem
• On the complexity of robust multi-stage problems with discrete recourse
• The computational complexity of integer programming with alternations
• On the complexity of quadratic programming in real number models of computation
• On commensurability of right-angled Artin groups II: RAAGs defined by paths
• Polynomial time certifying algorithms for the planar quantified integer programming problem

This page was built for publication: On the complexity of quantified integer programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111426)