Knot Pipatsrisawat, Adnan Darwiche. On the power of clause-learning SAT solvers as resolution engines. Artificial Intelligence, 175(2):512-525, 2011. [doi]
@article{PipatsrisawatD11,
title = {On the power of clause-learning SAT solvers as resolution engines},
author = {Knot Pipatsrisawat and Adnan Darwiche},
year = {2011},
doi = {10.1016/j.artint.2010.10.002},
url = {http://dx.doi.org/10.1016/j.artint.2010.10.002},
researchr = {https://researchr.org/publication/PipatsrisawatD11},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {175},
number = {2},
pages = {512-525},
}