Login / Signup
Static Symmetry Breaking with the Reflex Ordering.
Jimmy H. M. Lee
Zichen Zhu
Published in:
IJCAI (2016)
Keyphrases
</>
symmetry breaking
constraint programming
global constraints
search tree
boolean satisfiability
quantified boolean formulae
constraint satisfaction problems
integer linear programming
graph coloring
index structure