Treewidth-Aware Quantifier Elimination and Expansion for QCSP.
Johannes Klaus FichteMarkus HecherMaximilian F. I. KielerPublished in: CP (2020)
Keyphrases
- quantifier elimination
- constraint propagation
- constraint satisfaction problems
- search space
- constraint satisfaction
- constraint programming
- np complete
- upper bound
- bounded treewidth
- space complexity
- temporal constraints
- conformant planning
- finite domain
- first order logic
- search algorithm
- functional programming
- boolean functions
- heuristic search
- linear programming
- np hard
- temporal reasoning
- sufficient conditions
- cardinality constraints
- general purpose
- probability distribution
- special case
- optimal solution