Deterministic Symmetry Breaking in Ring Networks.

Leszek Gasieniec Tomasz Jurdzinski Russell Martin Grzegorz Stachowiak

Published in: ICDCS (2015)

Keyphrases

symmetry breaking
constraint programming
boolean satisfiability
search tree
quantified boolean formulae
integer linear programming
objective function
constraint satisfaction problems
sat solvers
global constraints