A Distributed SAT Solver for Microcontroller.

Tobias Schubert Bernd Becker

Published in: ARCS Workshops (2004)

Keyphrases

sat solvers
sat solving
sat problem
boolean satisfiability
orders of magnitude
constraint satisfaction
sat instances
search tree
max sat
propositional satisfiability
search strategies
clause learning
maximum satisfiability
information retrieval
sat encodings
decision problems
co occurrence
search space