Uniform Strategies: The CADE-11 Theorem Proving Contest.
Ewing L. LuskWilliam McCunePublished in: J. Autom. Reason. (1993)
Keyphrases
- theorem proving
- first order logic
- distributed search
- automated reasoning
- parallel search
- automated deduction
- inference rules
- consequence finding
- theorem prover
- decision procedures
- automated theorem proving
- logical inference
- automatic programming
- geometry theorem proving
- proof planning
- term rewriting
- combinatorial search
- predicate calculus
- presburger arithmetic
- knowledge base
- timed automata
- propositional logic
- search strategies
- equational theories
- machine learning