<p>This book constitutes the refereed proceedings of the 22nd International&nbsp;Conference on Theory and Applications of Satisfiability Testing, SAT&nbsp;2019, held in Lisbon, Portugal, UK, in July 2019.</p>

The 19 revised full papers presented together with 7 short papers were carefully reviewed and selected from 64 submissions. The papers address&nbsp;different aspects of SAT interpreted in a broad sense, including (but not restricted to) theoretical advances (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation.<b></b><p></p>