Publications

2011
Download
[bibtex]
Erika Abraham, Tobias Schubert, Bernd Becker, Martin Fraenzle, Christian Herde. Parallel SAT Solving in Bounded Model Checking. Journal of Logic and Computation 21(1), pages 5–21, 2011.
2006
DOI
[bibtex]
Erika Abraham, Tobias Schubert, Bernd Becker, Martin Fraenzle, Christian Herde. Parallel SAT Solving in Bounded Model Checking. Parallel and Distributed Methods in Verification (PDMC'06), Volume 4346 of LNCS, pages 301–315, Springer Berlin Heidelberg, 2006.