@article{Pipatsrisawat11power,
 author = {Pipatsrisawat, Knot and Darwiche, Adnan},
 title = {On the power of clause-learning SAT solvers as resolution engines},
 journal = {Artificial Intelligence},
 issue_date = {February, 2011},
 volume = {175},
 issue = {2},
 month = {February},
 year = {2011},
 issn = {0004-3702},
 pages = {512--525},
 numpages = {14},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
 keywords = {Boolean satisfiability, Clause-learning SAT solvers, DPLL, Proof complexity, Resolution proof},
}