@proceedings{ DBLP:conf/sat/2005,
  publisher = {Springer},
  isbn = {3-540-26276-8},
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
  url = {http://dx.doi.org/10.1007/b137280},
  series = {Lecture Notes in Computer Science},
  title = {Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005},
  volume = {3569},
  editor = {Fahiem Bacchus and Toby Walsh},
  year = {2005},
  bibsource = {DBLP http://dblp.uni-trier.de}
}