A DPLL Procedure with Dichotomous Branching for Propositional Product Logic.
Dusan GullerPublished 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