Talk slides.

    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.
    December 2007.


Back to Sam Buss's publications page.