Theory and Applications of Satisfiability Testing - SAT 2009

MLA

Kullmann, Oliver, Takeo Kanade, and Josef Kittler. Theory and Applications of Satisfiability Testing - Sat 2009. Springer Berlin Heidelberg, 2009.

APA

Kullmann, O., Kanade, T., & Kittler, J. (2009). Theory and Applications of Satisfiability Testing - SAT 2009. Springer Berlin Heidelberg.

Chicago

Kullmann, Oliver, Takeo Kanade, and Josef Kittler. Theory and Applications of Satisfiability Testing - SAT 2009. : Springer Berlin Heidelberg, 2009.