Parallel SAT Solving in Bounded Model Checking.

Erika Ábrahám Tobias Schubert Bernd Becker Martin Fränzle Christian Herde

Published in: FMICS/PDMC (2006)

Keyphrases

sat solving
bounded model checking
model checking
formal verification
sat solvers
linear temporal logic
temporal logic
sat problem
search tree
simulated annealing
boolean satisfiability
computational complexity
max sat
decision problems
symmetry breaking
orders of magnitude
evolutionary algorithm