SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver.
Yu-Wei FanJie-Hong R. JiangPublished in: AAAI (2023)
Keyphrases
- boolean satisfiability
- sat solving
- boolean formula
- sat solvers
- boolean optimization
- probabilistic planning
- branch and bound algorithm
- sat problem
- symmetry breaking
- randomly generated
- integer linear programming
- clause learning
- max sat
- maximum satisfiability
- np complete
- orders of magnitude
- random sat instances
- lower bound
- optimal solution
- combinatorial problems
- phase transition
- heuristic search