Citazione Stile APA (7a Edizione)

(2005). Theory and applications of satisfiability testing: 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings / Fahiem Bacchus, Toby Walsh (eds.).

Citazione stile Chigago Style (17a edizione)

Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : Proceedings / Fahiem Bacchus, Toby Walsh (eds.). 2005.

Citatione MLA (9a ed.)

Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : Proceedings / Fahiem Bacchus, Toby Walsh (eds.). 2005.