Stochastic local search for Partial Max-SAT: an experimental evaluation.
Haifa Hamad AlKasemMohamed El Bachir MenaiPublished in: Artif. Intell. Rev. (2021)
Keyphrases
- max sat
- stochastic local search
- lower bound
- branch and bound algorithm
- sat problem
- satisfiability problem
- tabu search
- search algorithm
- sat solvers
- branch and bound
- random sat instances
- weighted max sat
- boolean satisfiability
- constraint satisfaction
- linear programming
- cnf formula
- phase transition
- sat instances
- randomly generated
- np complete
- evolutionary algorithm
- neural network
- optimal solution