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.

Abstract

Abstract is missing.