Sign in
Graph Pruning and Symmetry Breaking on Grid Maps.
Daniel Harabor
Published in:
IJCAI (2011)
Keyphrases
</>
symmetry breaking
constraint programming
search tree
integer linear programming
global constraints
search space
boolean satisfiability
constraint satisfaction problems
graph model
graph coloring
lower bound
special case
weighted graph
objective function
data structure