Huimin Fu

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 11

Top Topics

Stochastic Local Search

Mazurkiewicz Traces

Satisfiability Problem

Top Venues

Int. J. Comput. Intell. Syst.

Publications

Huimin Fu, Shaowei Cai, Guanfeng Wu, Jun Liu, Xin Yang, Yang Xu
Improving two-mode algorithm via probabilistic selection for solving satisfiability problem. Inf. Sci. 653 (2024)
Huimin Fu, Jun Liu, Guanfeng Wu, Yang Xu, Geoff Sutcliffe
Improving probability selection based weights for satisfiability problems. Knowl. Based Syst. 245 (2022)
Huimin Fu, Wuyang Zhang, Guanfeng Wu, Yang Xu, Jun Liu
Improving stochastic local search for uniform k-SAT by generating appropriate initial assignment. Comput. Intell. 37 (4) (2021)
Huimin Fu, Guanfeng Wu, Jun Liu, Yang Xu
More efficient stochastic local search for satisfiability. Appl. Intell. 51 (6) (2021)
Huimin Fu, Yang Xu, Guanfeng Wu, Jun Liu, Shuwei Chen, Xingxing He
Emphasis on the flipping variable: Towards effective local search for hard random satisfiability. Inf. Sci. 566 (2021)
Huimin Fu, Jun Liu, Yang Xu
Focused random walk with probability distribution for SAT with long clauses. Appl. Intell. 50 (12) (2020)
Huimin Fu, Yang Xu, Jun Liu, Guanfeng Wu, Geoff Sutcliffe
Improving probability selecting based weights for Satisfiability Problem. CoRR (2020)
Huimin Fu, Yang Xu, Shuwei Chen, Jun Liu
Improving WalkSAT for Random 3-SAT Problems. J. Univers. Comput. Sci. 26 (2) (2020)
Huimin Fu, Yang Xu, Guanfeng Wu, Hairui Jia, Wuyang Zhang, Rong Hu
An Improved Adaptive Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy Strategy. Int. J. Comput. Intell. Syst. 11 (1) (2018)
Xinran Ning, Yang Xu, Guanfeng Wu, Huimin Fu
Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic. Symmetry 10 (11) (2018)
Huimin Fu, Yang Xu, Guanfeng Wu, Xinran Ning
An improved genetic algorithm for solving 3-SAT problems based on effective restart and greedy strategy. ISKE (2017)