APA (7th ed.) Citation

SAT 2005 St. Andrews, Scotland, Bacchus, F., & Walsh, T. (2005). Theory and applications of satisfiability testing: 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings. Springer.

Chicago Style (17th ed.) Citation

SAT 2005 St. Andrews, Scotland, Fahiem Bacchus, and Toby Walsh. Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : Proceedings. Berlin ; New York: Springer, 2005.

MLA (9th ed.) Citation

SAT 2005 St. Andrews, Scotland, et al. Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : Proceedings. Springer, 2005.