Theory and Applications of Satisfiability Testing - SAT 2011

MLA

Sakallah, Karem A, et al. Theory and Applications of Satisfiability Testing - Sat 2011. Springer Berlin Heidelberg, 2011.

APA

Sakallah, K. A, Kanade, T., Simon, L., & Kittler, J. (2011). Theory and Applications of Satisfiability Testing - SAT 2011. Springer Berlin Heidelberg.

Chicago

Sakallah, Karem A., Takeo Kanade, Laurent Simon, and Josef Kittler. Theory and Applications of Satisfiability Testing - SAT 2011. : Springer Berlin Heidelberg, 2011.