Login / Signup

Symmetry Breaking of Universal Type and Particular Types.

Luca Fabbri
Published in: Symmetry (2022)
Keyphrases
  • symmetry breaking
  • constraint programming
  • global constraints
  • search tree
  • boolean satisfiability
  • computational complexity
  • multi dimensional
  • graph coloring
  • quantified boolean formulae