Theory and Applications of Satisfiability Testing – SAT 2020
Book title Buchtitel
Theory and Applications of Satisfiability Testing – SAT 2020
Publisher Herausgeber
LNCS
Place of publishing Erscheinungsort
12178
Series Schriftenreihe
Lecture Notes in Computer Science