A DPLL Procedure with Dichotomous Branching for Propositional Product Logic.

Published in: CoRR (2023)

Keyphrases

proof procedure
propositional logic
theorem proving
first order logic
predicate calculus
davis putnam

propositional satisfiability
clause learning
model theoretic
automated reasoning
sound and complete axiomatization
life cycle

search tree
sat solvers
predicate logic
belief revision
orders of magnitude
inference rules

multi valued
temporal logic
truth maintenance systems
classical first order logic
np complete