Login / Signup

The Locality of Distributed Symmetry Breaking.

Leonid BarenboimMichael ElkinSeth PettieJohannes Schneider
Published in: J. ACM (2016)
Keyphrases
  • symmetry breaking
  • constraint programming
  • quantified boolean formulae
  • boolean satisfiability
  • symmetry breaking constraints
  • search tree
  • global constraints
  • data structure
  • genetic programming
  • sat solvers