Solving Stochastic Boolean Satisfiability under Random-Exist Quantification.
Nian-Ze LeeYen-Shi WangJie-Hong R. JiangPublished in: IJCAI (2017)
Keyphrases
- boolean optimization
- boolean satisfiability
- random sat instances
- randomly generated
- sat solving
- sat solvers
- branch and bound algorithm
- random sat
- probabilistic planning
- sat instances
- stochastic local search
- sat problem
- symmetry breaking
- integer linear programming
- davis putnam logemann loveland
- max sat
- boolean formula
- phase transition
- combinatorial problems
- metaheuristic
- computational complexity
- optimal solution
- reinforcement learning
- learning algorithm