Samuel R. Buss.
"SAT Solver Trials"
Centre de Recerca Matemàtica, Barcelona, Spain.
December 9, 2009.
Download talk slides: PDF.
Abstract: A report on some software development for our SatDiego satisfiability tester based on a clause learning DPLL algorithm. We present some satistics and experimental results of different variable selection methods and make suggestions for improvements to satistiability testers.Earlier versions of this talk were presented at:
Annual Meeting of the Association for Symbolic Logic.
Irvine, California. May 2008.
Department of Computer Science, Unversity of Toronto.
Back to Sam Buss's publications page.