Andrew Lawrence, Ulrich Berger, Monika Seisenberger. Extracting a DPLL Algorithm. Electronic Notes in Theoretical Computer Science, 286:243-256, 2012. [doi]
@article{LawrenceBS12,
title = {Extracting a DPLL Algorithm},
author = {Andrew Lawrence and Ulrich Berger and Monika Seisenberger},
year = {2012},
doi = {10.1016/j.entcs.2012.08.016},
url = {http://dx.doi.org/10.1016/j.entcs.2012.08.016},
researchr = {https://researchr.org/publication/LawrenceBS12},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {286},
pages = {243-256},
}