2007 (2)

Using More Reasoning to Improve #SAT Solving. Davies, J., and Bacchus, F. 2007. In AAAI, . Using More Reasoning to Improve #SAT Solving Bibtex Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. Simmonds, J.; Davies, J.; Gurfinkel, A.; and Chechik, M. 2007. In FMCAD. Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC Bibtex

2006 (2)

Preprocessing QBF. Samulowitz, H.; Davies, J.; and Bacchus, F. 2006. In Principles and Practice of Constraint Programming, . Preprocessing QBF Bibtex QBF Preprocessor Prequel. Samulowitz, H.; Davies, J.; and Bacchus, F. 2006. available at http://www.cs.toronto.edu/[bb_tilde]fbacchus/sat.html QBF Preprocessor Prequel Bibtex

Link To This Page.