Theory and Applications of Satisfiability Testing - SAT 2006

MLA

Biere, Armin, et al. Theory and Applications of Satisfiability Testing - Sat 2006. Springer Berlin / Heidelberg, 2006.

APA

Biere, A., Gomes, C. P, Kanade, T., & Kittler, J. (2006). Theory and Applications of Satisfiability Testing - SAT 2006. Springer Berlin / Heidelberg.

Chicago

Biere, Armin, Carla P Gomes, Takeo Kanade, and Josef Kittler. Theory and Applications of Satisfiability Testing - SAT 2006. : Springer Berlin / Heidelberg, 2006.