Article:

    Sam Buss and Jakob Nordström
    Proof Complexity and SAT Solving
    In {\em Handbook of Satisfiability, 2nd edition, editors A. Biere, M. Heule, H. van Maaren and T. Walsh, IOS Press, 2021, Chapter 7, pp. 233-350.

    Download Final galleys.

Back to Sam Buss's publications page.