Effect of Initial Assignment on Local Search Performance for Max Sat.
Daniel BerendYochai TwittoPublished in: SEA (2020)
Keyphrases
- max sat
- tabu search
- stochastic local search
- search algorithm
- random sat instances
- guided local search
- weighted max sat
- sat solvers
- propositional satisfiability
- satisfiability problem
- branch and bound
- lower bound
- branch and bound algorithm
- sat problem
- maximum satisfiability
- metaheuristic
- search space
- genetic algorithm
- linear programming
- simulated annealing
- combinatorial optimization
- constraint satisfaction
- cnf formula
- hill climbing
- language model
- boolean satisfiability
- variable ordering
- data structure
- optimal solution