Theory and Applications of Satisfiability Testing – SAT 2012
MLA
Hutchison, David, et al. Theory and Applications of Satisfiability Testing – Sat 2012. Springer Berlin Heidelberg, 2012.
APA
Hutchison, D., Kanade, T., Kittler, J., & Sebastiani, R. (2012). Theory and Applications of Satisfiability Testing – SAT 2012. Springer Berlin Heidelberg.
Chicago
Hutchison, David, Takeo Kanade, Josef Kittler, and Roberto Sebastiani. Theory and Applications of Satisfiability Testing – SAT 2012. : Springer Berlin Heidelberg, 2012.
