On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis.
Maria Paola BonacinaJieh HsiangPublished in: Inf. Comput. (1998)
Keyphrases
- theorem proving
- parallel search
- combinatorial search
- theorem prover
- search strategy
- search algorithm
- automated reasoning
- distributed search
- search space
- proof procedure
- proof planning
- machine learning
- proof search
- automated deduction
- automated theorem proving
- decision procedures
- inference rules
- temporal logic
- natural language
- artificial intelligence