Introduction to the special issue on quantified CSPs and QBF.
Enrico GiunchgliaKostas StergiouPublished in: Constraints An Int. J. (2009)
Keyphrases
- symmetry breaking
- quantified boolean formulae
- universally quantified
- constraint satisfaction problems
- quantified boolean formulas
- constraint satisfaction
- arc consistency
- constraint programming
- constraint propagation
- hypertree decomposition
- non binary
- constraint networks
- search space
- backtracking algorithm
- constraint problems
- path consistency
- special case
- solving constraint satisfaction problems
- partial constraint satisfaction
- tree decomposition
- decision procedures
- sat problem
- global constraints
- search tree
- decomposition methods
- decision diagrams
- propositional logic
- temporal constraints
- np complete
- logic programs
- symmetry breaking constraints