Login / Signup

Distributed Parallel #SAT Solving.

Jan BurchardTobias SchubertBernd Becker
Published in: CLUSTER (2016)
Keyphrases
  • sat solving
  • sat solvers
  • multi agent
  • boolean optimization
  • sat problem
  • special case
  • orders of magnitude
  • boolean satisfiability