Ein paralleler SAT-Solver auf Transputern.

Max Böhm Ewald Speckenmeyer

Published in: Transputer-Anwender-Treffen (1992)

Keyphrases

sat solvers
sat solving
orders of magnitude
max sat
sat problem
propositional satisfiability
boolean satisfiability
constraint satisfaction
search tree
search strategies
sat instances
search space
symmetry breaking
constraint solver
genetic algorithm
special case
boolean formula