Symmetry Breaking with Noisy Processes.

Seth Gilbert Calvin C. Newport

Published in: PODC (2017)

Keyphrases

symmetry breaking
constraint programming
quantified boolean formulae
search tree
integer linear programming
boolean satisfiability
global constraints
constraint satisfaction problems
optimal solution
evolutionary algorithm
nearest neighbor