APA (7th ed.) Citation

SAT 2008 Guangzhou, China, SpringerLink (Online service), Kleine Büning, H., & Zhao, X. (2008). Theory and applications of satisfiability testing--SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings. Springer. https://doi.org/10.1007/978-3-540-79719-7

Chicago Style (17th ed.) Citation

SAT 2008 Guangzhou, China, SpringerLink (Online service), H. Kleine Büning, and Xishun Zhao. Theory and Applications of Satisfiability Testing--SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : Proceedings. Berlin ; New York: Springer, 2008. https://doi.org/10.1007/978-3-540-79719-7.

MLA (9th ed.) Citation

SAT 2008 Guangzhou, China, et al. Theory and Applications of Satisfiability Testing--SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : Proceedings. Springer, 2008. https://doi.org/10.1007/978-3-540-79719-7.