RSS Feed group by: generated by BibBase.org
Using More Reasoning to Improve #SAT Solving. Davies, J., and Bacchus, F. 2007. In AAAI, .
Using More Reasoning to Improve #SAT Solving [PDF] Using More Reasoning to Improve #SAT Solving [bib]
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 [PDF] Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC [bib]
Preprocessing QBF. Samulowitz, H.; Davies, J.; and Bacchus, F. 2006. In Principles and Practice of Constraint Programming, .
Preprocessing QBF [PDF] Preprocessing QBF [bib]
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 [PDF] QBF Preprocessor Prequel [bib]
Link To This Page.