On the Evaluation of Indexing Techniques for Theorem Proving.
Robert NieuwenhuisThomas HillenbrandAlexandre RiazanovAndrei VoronkovPublished in: IJCAR (2001)
Keyphrases
- theorem proving
- indexing techniques
- inference rules
- similarity search
- first order logic
- automated reasoning
- theorem prover
- advanced database systems
- proof planning
- parallel search
- automated theorem proving
- index structure
- geometry theorem proving
- term rewriting
- proof procedure
- b tree
- multi dimensional
- databases
- range queries
- knowledge representation
- pattern recognition
- training data
- feature extraction
- database systems
- equational theories
- database