Automated search for Gödel's proofs.
Wilfried SiegClinton FieldPublished in: Ann. Pure Appl. Log. (2005)
Keyphrases
- search algorithm
- search space
- intelligent search
- search strategy
- search efficiency
- search mechanism
- search strategies
- search methods
- search queries
- search tools
- automated theorem provers
- query processing
- real time
- solution space
- proof search
- exhaustive search
- information seeking
- keyword search
- user queries
- simulated annealing
- information systems
- genetic algorithm