Theory and Applications of Satisfiability Testing

MLA

Bacchus, Fahiem, et al. Theory and Applications of Satisfiability Testing. Springer Berlin / Heidelberg, 2005.

APA

Bacchus, F., Kanade, T., Walsh, T., & Kittler, J. (2005). Theory and Applications of Satisfiability Testing. Springer Berlin / Heidelberg.

Chicago

Bacchus, Fahiem, Takeo Kanade, Toby Walsh, and Josef Kittler. Theory and Applications of Satisfiability Testing. : Springer Berlin / Heidelberg, 2005.