Login / Signup

Distributed Symmetry Breaking on Power Graphs via Sparsification.

Yannic MausSaku PeltonenJara Uitto
Published in: CoRR (2023)
Keyphrases
  • symmetry breaking
  • constraint programming
  • boolean satisfiability
  • search tree
  • integer linear programming
  • global constraints
  • quantified boolean formulae
  • boolean optimization
  • lower bound
  • upper bound
  • graph coloring