Deciding Effectively Propositional Logic Using DPLL and Substitution Sets

14 years 2 months ago

We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch

Leonardo Mendonça de Moura, Nikolaj Bj&osla

CADE 2008 | Calculus | DPLL Calculus | Finite Set | Logical Reasoning |

claim paper

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)