Stochastic Local Search for Incremental SAT and Incremental MAX-SAT.
Malek MouhoubChanghai WangPublished in: KES (2004)
Keyphrases
- max sat
- stochastic local search
- sat problem
- satisfiability problem
- sat solvers
- random sat instances
- lower bound
- weighted max sat
- search algorithm
- tabu search
- branch and bound algorithm
- branch and bound
- graph coloring
- solving hard
- propositional satisfiability
- phase transition
- boolean satisfiability
- maximum satisfiability
- linear programming
- sat instances
- constraint satisfaction problems
- temporal logic
- unit propagation
- upper bound
- max sat solver
- neural network
- randomly generated
- inference rules
- constraint satisfaction
- heuristic search
- np complete
- simulated annealing
- scheduling problem
- genetic algorithm