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]
No references recorded for this publication.
No citations of this publication recorded.