Theory and Applications of Satisfiability Testing - SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, (Paperback, 2018)
Theory and Applications of Satisfiability Testing - SAT 2018 : 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference (Paperback)
