A Dynamic-Programming Based ASP-Solver.
Michael MorakReinhard PichlerStefan RümmeleStefan WoltranPublished in: JELIA (2010)
Keyphrases
- dynamic programming
- answer set programming
- greedy algorithm
- web applications
- linear programming
- single machine
- state space
- dp matching
- genetic algorithm
- optimal control
- logic programs
- stereo matching
- information retrieval
- optimal policy
- neural network
- search space
- multi agent systems
- coarse to fine
- reinforcement learning
- computer vision
- tree search
- constraint solver
- satisfiability modulo theories