Optimal proof systems imply complete sets for promise classes.
Johannes KöblerJochen MessnerJacobo ToránPublished in: Inf. Comput. (2003)
Keyphrases
- neural network
- intelligent systems
- database systems
- real time
- closed form
- learning systems
- building blocks
- expert systems
- optimal solution
- artificial intelligence
- databases
- objective function
- lower bound
- computer vision
- dynamic programming
- management system
- distributed systems
- machine learning
- complex systems
- database