Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

Chu-Min Li 0001 Felip Manyà Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings SAT Springer 2021 Lecture Notes in Computer Science 12831 978-3-030-80222-6 978-3-030-80223-3 https://doi.org/10.1007/978-3-030-80223-3 db/conf/sat/sat2021.html