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

Downloads: 0