Hard Neighboring Variables Based Configuration Checking in Stochastic Local Search for Weighted Partial Maximum Satisfiability.
Yi ChuChuan LuoWenxuan HuangHaihang YouDongrui FanPublished in: ICTAI (2017)
Keyphrases
- stochastic local search
- max sat
- maximum satisfiability
- variable ordering
- sat problem
- satisfiability problem
- random sat
- boolean satisfiability
- lower bound
- sat solvers
- tabu search
- branch and bound algorithm
- branch and bound
- search algorithm
- boolean formula
- graph coloring
- constraint satisfaction
- linear programming
- sat instances
- propositional satisfiability
- phase transition
- constraint satisfaction problems
- randomly generated
- orders of magnitude
- np complete
- upper bound
- special case