QBF Solver 2clsQ. Samulowitz, H. & Bacchus, F. 2006. available at http://www.cs.toronto.edu/̃fbacchus/sat.html
QBF Solver 2clsQ [pdf]Paper  bibtex   1 download  

Downloads: 1