Theory and Applications of Satisfiability Testing – SAT 2007

MLA

Marques-Silva, João, et al. Theory and Applications of Satisfiability Testing – Sat 2007. Springer Berlin Heidelberg, 2007.

APA

Marques-Silva, J., Hutchison, D., Kanade, T., Sakallah, K. A, & Kittler, J. (2007). Theory and Applications of Satisfiability Testing – SAT 2007. Springer Berlin Heidelberg.

Chicago

Marques-Silva, João, David Hutchison, Takeo Kanade, Karem A Sakallah, and Josef Kittler. Theory and Applications of Satisfiability Testing – SAT 2007. : Springer Berlin Heidelberg, 2007.