Deciding Effectively Propositional Logic Using DPLL and Substitution Sets.

Ruzica Piskac Leonardo Mendonça de Moura Nikolaj Bjørner

Published in: J. Autom. Reason. (2010)

Keyphrases

propositional logic
first order logic
belief revision
propositional formulas
davis putnam
quantified boolean formulae
possibilistic logic
lattice theory
proof procedure
propositional satisfiability
belief change
horn contraction
knowledge base