Login / Signup
Symmetry breaking and the emergence of path-dependence.
Hugh Desmond
Published in:
Synth. (2017)
Keyphrases
</>
symmetry breaking
constraint programming
search tree
global constraints
integer linear programming
quantified boolean formulae
boolean satisfiability
constraint satisfaction problems
boolean optimization
graph coloring
symmetry breaking constraints
upper bound
orders of magnitude
propositional logic