Login / Signup
Symmetry Breaking in Quantified Boolean Formulae.
Gilles Audemard
Saïd Jabbour
Lakhdar Sais
Published in:
IJCAI (2007)
Keyphrases
</>
quantified boolean formulae
symmetry breaking
constraint programming
search tree
global constraints
propositional logic
boolean satisfiability
integer linear programming
graph coloring
constraint satisfaction problems
search algorithm
upper bound
combinatorial problems