Parallel SAT Solving in Bounded Model Checking.

Erika brahm, Tobias Schubert, Bernd Becker, Martin Frnzle, Christian Herde

Browse the full FMICS paper archive.