@inproceedings{ DBLP:conf/aaai/HertelBPG08,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
  url = {HBPvG_AAAI2008.pdf},
  booktitle = {Proceedings of the 23rd AAAI Conference on Artificial Intelligence (AAAI-2008)},
  author = {Philipp Hertel and Fahiem Bacchus and Toniann Pitassi and Allen Van Gelder},
  pages = {283-290},
  year = {2008},
  title = {Clause Learning Can Effectively P-Simulate General Propositional Resolution},
  bibsource = {DBLP http://dblp.uni-trier.de}
}