Reactive Search, a History-Sensitive Heuristic for MAX-SAT.
Roberto BattitiMarco ProtasiPublished in: ACM J. Exp. Algorithmics (1997)
Keyphrases
- max sat
- search algorithm
- variable ordering
- stochastic local search
- tabu search
- exact algorithms
- search strategies
- branch and bound
- search space
- sat solvers
- search procedure
- heuristic function
- tree search
- weighted max sat
- constraint satisfaction
- search strategy
- hill climbing
- satisfiability problem
- sat problem
- neural network
- search methods
- state space
- lower bound
- maximum satisfiability
- random sat instances
- planning problems
- branch and bound algorithm
- combinatorial optimization
- heuristic search
- guided local search
- max sat solver