Distributed Symmetry: Breaking from a Local Point of View.

Leonid Barenboim

Published in: SIGACT News (2015)

Keyphrases

symmetry breaking
constraint programming
search tree
global constraints
boolean satisfiability
database systems
constraint satisfaction problems
integer linear programming
boolean optimization
dynamic programming
orders of magnitude