Sign in
The Complexity of Quantified Constraints: Collapsibility, Switchability, and the Algebraic Formulation.
Catarina Carvalho
Florent R. Madelaine
Barnaby Martin
Dmitriy Zhuk
Published in:
ACM Trans. Comput. Log. (2023)
Keyphrases
</>
constraint satisfaction
space complexity
set theoretic
mixed integer
worst case
constrained optimization
complexity analysis
quadratic programming
integer program
lagrange multipliers
database
linear program
miller tucker zemlin