On Deciding Satisfiability by Theorem Proving with Speculative Inferences.
Maria Paola BonacinaChristopher LynchLeonardo Mendonça de MouraPublished in: J. Autom. Reason. (2011)
Keyphrases
- theorem proving
- decision procedures
- automated reasoning
- first order logic
- automated deduction
- satisfiability problem
- theorem prover
- propositional logic
- term rewriting
- automatic programming
- parallel search
- proof procedure
- automated theorem proving
- inference rules
- np complete
- model theoretic
- proof planning
- logical inference
- combinatorial search
- geometry theorem proving
- distributed search
- phase transition
- proof search
- predicate calculus
- consequence finding
- conjunctive queries