A Two-Phase Backbone-Based Search Heuristic for Partial MAX-SAT - An Initial Investigation.
Mohamed El-bachir MenaiPublished in: IEA/AIE (2005)
Keyphrases
- max sat
- search algorithm
- variable ordering
- random sat instances
- stochastic local search
- tabu search
- search strategies
- exact algorithms
- search procedure
- branch and bound algorithm
- search space
- branch and bound
- search methods
- search strategy
- sat solvers
- lower bound
- weighted max sat
- constraint satisfaction
- combinatorial optimization
- hill climbing
- dynamic programming
- guided local search
- genetic algorithm
- randomly generated
- satisfiability problem
- linear programming