Theory and Applications of Satisfiability Testing – SAT 2020Luca Pulina, Martina Seidl · First published 2020Open the Tome