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.