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.

@inproceedings{LewisSB09,
  title = {QmiraXT - A Multithreaded QBF Solver},
  author = {Matthew D. T. Lewis and Tobias Schubert and Bernd Becker},
  year = {2009},
  researchr = {https://researchr.org/publication/LewisSB09},
  cites = {0},
  citedby = {0},
  pages = {7-16},
  booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009},
  editor = {Carsten Gremzow and Nico Moser},
  publisher = {Universit├Ątsbibliothek Berlin, Germany},
}