Empirical investigation of stochastic local search for maximum satisfiability.
Yi ChuChuan LuoShaowei CaiHaihang YouPublished in: Frontiers Comput. Sci. (2019)
Keyphrases
- stochastic local search
- maximum satisfiability
- max sat
- sat problem
- satisfiability problem
- boolean satisfiability
- sat solvers
- lower bound
- graph coloring
- tabu search
- branch and bound algorithm
- search algorithm
- branch and bound
- np complete
- sat instances
- phase transition
- randomly generated
- constraint satisfaction problems
- orders of magnitude
- decision problems
- constraint satisfaction
- search tree
- simulated annealing
- cnf formula
- combinatorial optimization
- probabilistic planning
- search space