Exploiting Different Strategies for the Parallelization of an SMT Solver - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Natalia Kalinnik' in GoogleThis author has not been identified. Look up 'Erika Ábrahám' in GoogleThis author has not been identified. Look up 'Tobias Schubert' in GoogleThis author has not been identified. Look up 'Ralf Wimmer' in GoogleThis author has not been identified. Look up 'Bernd Becker' in Google

runs on WebDSL