"Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd ..."

Mikolás Janota, Inês Lynce (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics