Deterministic Symmetry Breaking in Ring Networks.

Leszek Gasieniec Tomasz Jurdzinski Russell Martin Grzegorz Stachowiak

Published in: CoRR (2015)

Keyphrases

symmetry breaking
constraint programming
search tree
global constraints
boolean satisfiability
quantified boolean formulae
sat solvers
integer linear programming
symmetry breaking constraints
knowledge representation
multi dimensional
constraint satisfaction