Keyphrases
- mathematical proofs
- computational complexity
- cognitive processes
- high computational complexity
- special case
- theorem prover
- low complexity
- np complete
- motion vectors
- computational load
- decision problems
- bit rate
- np hard
- natural language
- linear computational complexity
- data sets
- motion estimation
- computational model
- rate distortion
- first order logic
- computational efficiency
- computationally efficient
- virtual environment
- memory requirements
- decision making