Login / Signup

The Quest for Perfect and Compact Symmetry Breaking for Graph Problems.

Marijn J. H. Heule
Published in: SYNASC (2016)
Keyphrases
  • symmetry breaking
  • integer linear programming
  • decision problems
  • benchmark problems
  • graph coloring