Login / Signup
Parallel SAT Solving in Bounded Model Checking.
Erika Ábrahám
Tobias Schubert
Bernd Becker
Martin Fränzle
Christian Herde
Published in:
J. Log. Comput. (2011)
Keyphrases
</>
sat solving
bounded model checking
model checking
sat solvers
formal verification
sat problem
boolean satisfiability
linear temporal logic
genetic algorithm
multi agent systems
upper bound
np complete