Theory and Applications of Satisfiability Testing – SAT 2008

MLA

Kleine Büning, Hans, Xishun Zhao, and Zhao Xishunb. Theory and Applications of Satisfiability Testing – Sat 2008. Springer Berlin Heidelberg, 2008.

APA

Kleine Büning, H., Zhao, X., & Xishunb, Z. (2008). Theory and Applications of Satisfiability Testing – SAT 2008. Springer Berlin Heidelberg.

Chicago

Kleine Büning, Hans, Xishun Zhao, and Zhao Xishunb. Theory and Applications of Satisfiability Testing – SAT 2008. : Springer Berlin Heidelberg, 2008.