Natalia Kalinnik, Erika Ábrahám, Tobias Schubert, Ralf Wimmer, Bernd Becker. Exploiting Different Strategies for the Parallelization of an SMT Solver. In Manfred Dietrich, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010. pages 97-106, Fraunhofer Verlag, 2010.
@inproceedings{KalinnikASWB10,
title = {Exploiting Different Strategies for the Parallelization of an SMT Solver},
author = {Natalia Kalinnik and Erika Ábrahám and Tobias Schubert and Ralf Wimmer and Bernd Becker},
year = {2010},
researchr = {https://researchr.org/publication/KalinnikASWB10},
cites = {0},
citedby = {0},
pages = {97-106},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010},
editor = {Manfred Dietrich},
publisher = {Fraunhofer Verlag},
}