Title | ||
---|---|---|
Emphasis on the flipping variable: Towards effective local search for hard random satisfiability |
Abstract | ||
---|---|---|
•We develop two heuristics based on clause and variable selection mechanism.•A new clause property is designed for selecting an unsatisfied clause.•A new variable property is designed for selecting a variable.•Random SAT problems with HRS and URS are used to verify the two heuristics.•Obtained results confirm the excellent performance of the proposed algorithm. |
Year | DOI | Venue |
---|---|---|
2021 | 10.1016/j.ins.2021.03.009 | Information Sciences |
Keywords | DocType | Volume |
Satisfiability (SAT) problem,Stochastic local search (SLS),Selection mechanism,Weighting scheme | Journal | 566 |
ISSN | Citations | PageRank |
0020-0255 | 1 | 0.37 |
References | Authors | |
0 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Huimin Fu | 1 | 1 | 2.40 |
Yang Xu | 2 | 711 | 83.57 |
Guanfeng Wu | 3 | 1 | 0.37 |
Jun Liu | 4 | 644 | 56.21 |
Shuwei Chen | 5 | 1 | 0.37 |
Xingxing He | 6 | 1 | 0.71 |