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.
2010

[bibtex]
Natalia Kalinnik, Erika Abraham, Tobias Schubert, Ralf Wimmer, Bernd Becker. Exploiting Different Strategies for the Parallelization of an SMT Solver. 13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'10), pages 97–106, Fraunhofer Verlag, 2010.
2009
Download
[bibtex]
Natalia Kalinnik, Tobias Schubert, Erika Abraham, Ralf Wimmer, Bernd Becker. Picoso - A Parallel Interval Constraint Solver. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'09), pages 473–479, CSREA Press, 2009.
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.