Theory and Applications of Satisfiability Testing – SAT 2021

MLA

Chu-Min Li, and Felip Manyà. Theory and Applications of Satisfiability Testing – Sat 2021. Springer International Publishing, 2021.

APA

Chu-Min Li, C. Li, & Manyà, F. (2021). Theory and Applications of Satisfiability Testing – SAT 2021. Springer International Publishing.

Chicago

Chu-Min Li, and Felip Manyà. Theory and Applications of Satisfiability Testing – SAT 2021. : Springer International Publishing, 2021.