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.
2007
DOI
[bibtex]
Marc Herbstritt, Bernd Becker, Erika Abraham, Christian Herde. On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata. IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS'07), pages 1–6, IEEE Computer Society, 2007.
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.