Constraints for symmetry breaking in graph representation.

Michael Codish Alice Miller Patrick Prosser Peter J. Stuckey

Published in: Constraints An Int. J. (2019)

Keyphrases

graph representation
symmetry breaking
constraint programming
global constraints
graph model
pseudo boolean
constraint satisfaction problems
symmetry breaking constraints
search tree
integer linear programming
constraint satisfaction
sat solvers