Parallel SAT Solving with Microcontrollers.

Tobias Schubert Bernd 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