Author: J. Davies [RDF, Bibtex, BibBase] has 3 publications

You may be referring to (disambiguation):

See also:


Using More Reasoning to Improve #SAT Solving J. Davies, Fahiem Bacchus. AAAI 2007


Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC J. Simmonds, J. Davies, A. Gurfinkel, M. Chechik. FMCAD 2007


QBF Preprocessor Prequel Horst Samulowitz, J. Davies, Fahiem Bacchus. 2006