Theory and Applications of Satisfiability Testing – SAT 2010

MLA

Strichman, Ofer, et al. Theory and Applications of Satisfiability Testing – Sat 2010. Springer Berlin Heidelberg, 2010.

APA

Strichman, O., Kanade, T., Szeider, S., & Kittler, J. (2010). Theory and Applications of Satisfiability Testing – SAT 2010. Springer Berlin Heidelberg.

Chicago

Strichman, Ofer, Takeo Kanade, Stefan Szeider, and Josef Kittler. Theory and Applications of Satisfiability Testing – SAT 2010. : Springer Berlin Heidelberg, 2010.