Sciweavers

Share
CADE
2008
Springer

Deciding Effectively Propositional Logic Using DPLL and Substitution Sets

8 years 5 months ago
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch
Leonardo Mendonça de Moura, Nikolaj Bj&osla
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where CADE
Authors Leonardo Mendonça de Moura, Nikolaj Bjørner
Comments (0)
books