@inproceedings{ DBLP:conf/cp/ThiffaultBW04,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
  url = {ThiffaultetalCP2004.pdf},
  booktitle = {Proceedings of the 10th International Conference on Principles and Practice of Constraint Programming (CP-2004)},
  author = {Christian Thiffault and Fahiem Bacchus and Toby Walsh},
  pages = {663-678},
  ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3258&spage=663},
  year = {2004},
  title = {Solving Non-clausal Formulas with DPLL Search},
  bibsource = {DBLP http://dblp.uni-trier.de}
}