Linear Strategy for Boolean Ring Based Theorem Proving.
Jinzhao WuZhuojun LiuPublished in: J. Comput. Sci. Technol. (2000)
Keyphrases
- theorem proving
- automated deduction
- first order logic
- decision procedures
- parallel search
- proof planning
- inference rules
- consequence finding
- theorem prover
- automated reasoning
- proof procedure
- automatic programming
- term rewriting
- automated theorem proving
- distributed search
- geometry theorem proving
- combinatorial search
- logical inference
- data mining
- predicate calculus
- equational theories
- machine learning
- simulated annealing
- artificial intelligence