Title | ||
---|---|---|
Hybridizing Evolutionary Negative Selection Algorithm and Local Search for Large-Scale Satisfiability Problems |
Abstract | ||
---|---|---|
This paper introduces a hybrid algorithm called as the HENSA-SAT for the large-scale Satisfiability (SAT) problems. The HENSA-SAT is the hybrid of Evolutionary Negative Selection Algorithm (ENSA), the Flip Heuristic, the BackForwardFlipHeuristic procedure and the VerticalClimbing procedure. The Negative Selection (NS) is called twice for different purposes. One is used to make the search start in as many different areas as possible. The other is used to restrict the times of calling the BackForwardFlipHeuristic for local search. The Flip Heuristic, the BackForwardFlipHeuristic procedure and the VerticalClimbing procedure are used to enhance the local search. Experiment results show that the proposed algorithm is competitive with the GASAT that is the state-of-the-art algorithm for the large-scale SAT problems. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-04843-2_27 | ISICA |
Keywords | Field | DocType |
evolutionary negative selection,hybridizing evolutionary negative selection,hybrid algorithm,large-scale satisfiability problems,backforwardflipheuristic procedure,negative selection,local search,flip heuristic,state-of-the-art algorithm,search start,verticalclimbing procedure,proposed algorithm,sat,satisfiability | Mathematical optimization,Heuristic,Hybrid algorithm,Negative selection,Satisfiability,Algorithm,Negative selection algorithm,Local search (optimization),Best-first search,restrict,Mathematics | Conference |
Volume | ISSN | Citations |
5821 | 0302-9743 | 0 |
PageRank | References | Authors |
0.34 | 19 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Peng Guo | 1 | 0 | 0.34 |
Wenjian Luo | 2 | 356 | 40.95 |
Zhifang Li | 3 | 15 | 2.45 |
Houjun Liang | 4 | 34 | 2.59 |
Xufa Wang | 5 | 608 | 39.62 |