Ruzica Piskac, Leonardo Mendonça de Moura, Nikolaj Bjørner. Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. Journal of Automated Reasoning, 44(4):401-424, 2010. [doi]
@article{PiskacMB10,
title = {Deciding Effectively Propositional Logic Using DPLL and Substitution Sets},
author = {Ruzica Piskac and Leonardo Mendonça de Moura and Nikolaj Bjørner},
year = {2010},
doi = {10.1007/s10817-009-9161-6},
url = {http://dx.doi.org/10.1007/s10817-009-9161-6},
tags = {logic},
researchr = {https://researchr.org/publication/PiskacMB10},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {44},
number = {4},
pages = {401-424},
}