Encoding Quantified CSPs as Quantified Boolean Formulae.
Ian P. GentPeter NightingaleAndrew G. D. RowleyPublished in: ECAI (2004)
Keyphrases
- quantified boolean formulae
- symmetry breaking
- constraint programming
- propositional logic
- constraint satisfaction problems
- global constraints
- search tree
- integer linear programming
- graph coloring
- constraint propagation
- constraint satisfaction
- knowledge compilation
- quantified boolean formulas
- search space
- column generation