QmiraXT - A Multithreaded QBF Solver

Matthew D. T. Lewis, Tobias Schubert, Bernd Becker. QmiraXT - A Multithreaded QBF Solver. In Carsten Gremzow, Nico Moser, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009. pages 7-16, Universit├Ątsbibliothek Berlin, Germany, 2009.

Authors

Matthew D. T. Lewis

This author has not been identified. Look up 'Matthew D. T. Lewis' in Google

Tobias Schubert

This author has not been identified. Look up 'Tobias Schubert' in Google

Bernd Becker

This author has not been identified. Look up 'Bernd Becker' in Google