Keyphrases
- computational complexity
- special case
- high computational complexity
- theorem proving
- np complete
- computationally efficient
- np hard
- computational cost
- proof planning
- low complexity
- theorem prover
- real time
- bit rate
- computer vision
- rate distortion
- mathematical proofs
- memory requirements
- linear logic
- geometry theorem proving
- computational efficiency
- video sequences
- objective function
- genetic algorithm
- neural network