Theory and Applications of Satisfiability Testing – SAT 2017

MLA

Gaspers, and Toby Walsh. Theory and Applications of Satisfiability Testing – Sat 2017. Springer International Publishing, 2017.

APA

Gaspers, G., & Walsh, T. (2017). Theory and Applications of Satisfiability Testing – SAT 2017. Springer International Publishing.

Chicago

Gaspers, and Toby Walsh. Theory and Applications of Satisfiability Testing – SAT 2017. : Springer International Publishing, 2017.