Simons Online Workshop 2021 on Theoretical Foundations of SAT/SMT Solving">

A Finite-Model-Theoretic View on Propositional Proof Complexity