Sign in

Parallel SAT Solving with Microcontrollers.

Tobias SchubertBernd Becker
Published in: AACC (2004)
Keyphrases
  • markov decision processes
  • sat solving
  • sat solvers
  • boolean satisfiability
  • boolean optimization
  • search tree
  • max sat
  • search algorithm
  • orders of magnitude
  • sat problem
  • symmetry breaking