DPER: Dynamic Programming for Exist-Random Stochastic SAT.
Vu H. N. PhanMoshe Y. VardiPublished in: CoRR (2022)
Keyphrases
- dynamic programming
- search algorithm
- dp matching
- greedy algorithm
- satisfiability problem
- forward and backward
- stochastic optimization
- lagrangian relaxation
- stereo matching
- multistage
- locally optimal
- sat solvers
- stochastic programming
- monte carlo
- state space
- reinforcement learning
- infinite horizon
- optimal policy
- boolean satisfiability
- stochastic local search
- sat instances
- linear programming
- learning automata
- randomly generated
- bayesian networks
- search strategies
- constraint satisfaction