Hybridizing Evolutionary Negative Selection Algorithm and Local Search for Large-Scale Satisfiability Problems.
Peng GuoWenjian LuoZhifang LiHoujun LiangXufa WangPublished in: ISICA (2009)
Keyphrases
- satisfiability problem
- negative selection algorithm
- search algorithm
- stochastic local search
- search procedures
- genetic algorithm
- np complete
- temporal logic
- phase transition
- anomaly detection
- clonal selection algorithm
- search space
- graph coloring problems
- sat problem
- evolutionary computation
- global search
- max sat
- clause learning
- davis putnam
- heuristic search
- sat instances
- search strategies
- tabu search
- memetic algorithm
- simulated annealing
- model checking
- optimal solution
- maximum entropy model
- constraint satisfaction
- differential evolution
- machine learning