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