Exploiting Different Strategies for the Parallelization of an SMT Solver.
['Natalia Kalinnik', 'Erika Ábrahám', 'Tobias Schubert', 'Ralf Wimmer', 'Bernd Becker']
Exploiting Different Strategies for the Parallelization of an SMT Solver.