Local Search to Approximate Max NAE- k k -Sat Tightly.
Aiyong XianKaiyuan ZhuDaming ZhuLianrong PuPublished in: FAW (2015)
Keyphrases
- stochastic local search
- search algorithm
- propositional satisfiability
- satisfiability testing
- search procedures
- satisfiability problem
- sat solvers
- search strategies
- search space
- sat solving
- combinatorial optimization
- memetic algorithm
- simulated annealing
- genetic algorithm
- search procedure
- global search
- metaheuristic
- job shop scheduling problem
- sat instances