Theory and Applications of Satisfiability Testing - SAT 2020

This book constitutes the proceedings of the 23rd International Conference on Theory and Applicat...