Proof vs. Truth in Computational Complexity.
Boaz BarakPublished in: Electron. Colloquium Comput. Complex. (2012)
Keyphrases
- computational complexity
- high computational complexity
- np complete
- special case
- theorem prover
- low complexity
- storage requirements
- computational cost
- computationally efficient
- proof planning
- theorem proving
- data sets
- fuzzy logic
- proof theory
- computational efficiency
- motion estimation
- np hard
- evolutionary algorithm
- multi agent systems
- genetic algorithm
- machine learning
- neural network