|
1
|
Fu H, Zhang W, Wu G, Xu Y, Liu J. Improving stochastic local search for uniform
k
‐SAT
by generating appropriate initial assignment. Comput Intell 2021. [DOI: 10.1111/coin.12438] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/29/2022]
Affiliation(s)
- Huimin Fu
- International Affairs Secretary School of Economic Information Engineering Southwest University of Finance and Economics Chengdu China
| | - Wuyang Zhang
- ChinaResources Beer (Holdings) Company Limited Chengdu China
| | - Guanfeng Wu
- National‐Local Joint Engineering Laboratory of System Credibility Automatic Verification Southwest Jiaotong University Chengdu China
| | - Yang Xu
- National‐Local Joint Engineering Laboratory of System Credibility Automatic Verification Southwest Jiaotong University Chengdu China
| | - Jun Liu
- School of Computing Ulster University Northern Ireland UK
| |
Collapse
|
|
2
|
Fu H, Xu Y, Wu G, Liu J, Chen S, He X. Emphasis on the flipping variable: Towards effective local search for hard random satisfiability. Inf Sci (N Y) 2021. [DOI: 10.1016/j.ins.2021.03.009] [Citation(s) in RCA: 4] [Impact Index Per Article: 1.3] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/30/2022]
|
|
3
|
Focused random walk with probability distribution for SAT with long clauses. APPL INTELL 2020. [DOI: 10.1007/s10489-020-01768-3] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/23/2022]
|
|
4
|
|
|
5
|
|