A Resolution Proof System for Dependency Stochastic Boolean Satisfiability.
Yun-Rong LuoChe ChengJie-Hong R. JiangPublished in: J. Autom. Reason. (2023)
Keyphrases
- boolean satisfiability
- clause learning
- sat solvers
- sat solving
- sat problem
- boolean optimization
- satisfiability problem
- orders of magnitude
- constraint satisfaction
- max sat
- propositional satisfiability
- search tree
- branch and bound algorithm
- sat instances
- probabilistic planning
- randomly generated
- phase transition
- search strategies
- integer linear programming
- modal logic
- search strategy