Keyphrases
- dynamic programming
- theorem proving
- stereo matching
- linear programming
- inference rules
- coarse to fine
- state space
- optimal control
- automated theorem proving
- reinforcement learning
- dynamic programming algorithms
- first order logic
- automated deduction
- greedy algorithm
- neural network
- theorem prover
- dp matching
- special case
- multiresolution
- search space
- pairwise
- lower bound
- database systems
- social networks
- genetic algorithm