Huimin Fu

12 papers Misc 1Journal 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Negative label-Aware and correlation-Enhanced multi-Label feature selection.
Knowl. Based Syst.
Xiang Li, Huimin Fu, Xiaoou Huang, Tianyi Xie, Lingfei Ren, Wanfu Gao, Yonghao Li, Xin Yang
2024 J jnl
Improving two-mode algorithm via probabilistic selection for solving satisfiability problem.
Inf. Sci.
Huimin Fu, Shaowei Cai, Guanfeng Wu, Jun Liu, Xin Yang, Yang Xu
2022 J jnl
Improving probability selection based weights for satisfiability problems.
Knowl. Based Syst.
Huimin Fu, Jun Liu, Guanfeng Wu, Yang Xu, Geoff Sutcliffe
2021 J jnl
Emphasis on the flipping variable: Towards effective local search for hard random satisfiability.
Inf. Sci.
Huimin Fu, Yang Xu, Guanfeng Wu, Jun Liu, Shuwei Chen, Xingxing He
2021 J jnl
Improving stochastic local search for uniform k-SAT by generating appropriate initial assignment.
Comput. Intell.
Huimin Fu, Wuyang Zhang, Guanfeng Wu, Yang Xu, Jun Liu
2021 J jnl
More efficient stochastic local search for satisfiability.
Appl. Intell.
Huimin Fu, Guanfeng Wu, Jun Liu, Yang Xu
2020 J jnl
Focused random walk with probability distribution for SAT with long clauses.
Appl. Intell.
Huimin Fu, Jun Liu, Yang Xu
2020 J jnl
Improving WalkSAT for Random 3-SAT Problems.
J. Univers. Comput. Sci.
Huimin Fu, Yang Xu, Shuwei Chen, Jun Liu
2020 J jnl
Improving probability selecting based weights for Satisfiability Problem.
CoRR
Huimin Fu, Yang Xu, Jun Liu, Guanfeng Wu, Geoff Sutcliffe
2018 J jnl
An Improved Adaptive Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy Strategy.
Int. J. Comput. Intell. Syst.
Huimin Fu, Yang Xu, Guanfeng Wu, Hairui Jia, Wuyang Zhang, Rong Hu
2018 J jnl
Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic.
Symmetry
Xinran Ning, Yang Xu, Guanfeng Wu, Huimin Fu
2017 Misc conf
An improved genetic algorithm for solving 3-SAT problems based on effective restart and greedy strategy.
ISKE
Huimin Fu, Yang Xu, Guanfeng Wu, Xinran Ning