Enhanced WalkSAT with Variable Neighborhood Search for MAX-SAT Problems.
Noureddine BouhmalaMats OselanØyestein BrådlandPublished in: IntelliSys (1) (2016)
Keyphrases
- max sat
- tabu search
- weighted max sat
- maximum satisfiability
- variable neighborhood search
- sat problem
- exact algorithms
- satisfiability problem
- boolean satisfiability
- random sat
- decision problems
- sat solvers
- branch and bound algorithm
- benchmark instances
- stochastic local search
- integer linear programming
- propositional satisfiability
- np complete
- job shop scheduling problem
- feasible solution
- metaheuristic
- optimization problems
- simulated annealing