Generating effective symmetry-breaking predicates for search problems
Under an Elsevier user license
open archive
Keywords
Symmetry
Symmetry-breaking predicates
Solution counting
Satisfiability testing
Cited by (0)
Copyright © 2006 Elsevier B.V. All rights reserved.