Donald W. Loveland, Ashish Sabharwal, Bart Selman. DPLL: The Core of Modern Satisfiability Solvers. In Eugenio G. Omodeo, Alberto Policriti, editors, Martin Davis on Computability, Computational Logic, and Mathematical Foundations. Volume 10 of Outstanding Contributions to Logic, pages 315-335, Springer, 2016. [doi]
@incollection{LovelandSS16,
title = {DPLL: The Core of Modern Satisfiability Solvers},
author = {Donald W. Loveland and Ashish Sabharwal and Bart Selman},
year = {2016},
doi = {10.1007/978-3-319-41842-1_12},
url = {https://doi.org/10.1007/978-3-319-41842-1_12},
researchr = {https://researchr.org/publication/LovelandSS16},
cites = {0},
citedby = {0},
pages = {315-335},
booktitle = {Martin Davis on Computability, Computational Logic, and Mathematical Foundations},
editor = {Eugenio G. Omodeo and Alberto Policriti},
volume = {10},
series = {Outstanding Contributions to Logic},
publisher = {Springer},
isbn = {978-3-319-41842-1},
}