Theory and Applications of Satisfiability Testing – SAT 2020

MLA

Pulina, and Martina Seidl. Theory and Applications of Satisfiability Testing – Sat 2020. Springer International Publishing, 2020.

APA

Pulina, P., & Seidl, M. (2020). Theory and Applications of Satisfiability Testing – SAT 2020. Springer International Publishing.

Chicago

Pulina, and Martina Seidl. Theory and Applications of Satisfiability Testing – SAT 2020. : Springer International Publishing, 2020.