Theory and Applications of Satisfiability Testing -- SAT 2015

MLA

Heule, and Sean Weaver. Theory and Applications of Satisfiability Testing -- Sat 2015. Springer International Publishing, 2015.

APA

Heule, H., & Weaver, S. (2015). Theory and Applications of Satisfiability Testing -- SAT 2015. Springer International Publishing.

Chicago

Heule, and Sean Weaver. Theory and Applications of Satisfiability Testing -- SAT 2015. : Springer International Publishing, 2015.