Theory and Applications of Satisfiability Testing

MLA

Hoos, Holger H, et al. Theory and Applications of Satisfiability Testing. Springer Berlin / Heidelberg, 2005.

APA

Hoos, H. H, Kanade, T., Mitchell, D. G, & Kittler, J. (2005). Theory and Applications of Satisfiability Testing. Springer Berlin / Heidelberg.

Chicago

Hoos, Holger H., Takeo Kanade, David G Mitchell, and Josef Kittler. Theory and Applications of Satisfiability Testing. : Springer Berlin / Heidelberg, 2005.