We stand with Ukraine  

Huimin Fu

Orcid: 0000-0002-4447-3585

Affiliations:
  • Southwest Jiaotong University, National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Chengdu, Sichuan, China


According to our database1, Huimin Fu authored at least 11 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Improving two-mode algorithm via probabilistic selection for solving satisfiability problem.
[BibTeX]
[DOI]
Huimin Fu
,
Shaowei Cai
,
Guanfeng Wu
,
Jun Liu
,
Xin Yang
,
Yang Xu
Inf. Sci., January, 2024

2022
Improving probability selection based weights for satisfiability problems.
[BibTeX]
[DOI]
Huimin Fu
,
Jun Liu
,
Guanfeng Wu
,
Yang Xu
,
Geoff Sutcliffe
Knowl. Based Syst., 2022

2021
Emphasis on the flipping variable: Towards effective local search for hard random satisfiability.
[BibTeX]
[DOI]
Huimin Fu
,
Yang Xu
,
Guanfeng Wu
,
Jun Liu
,
Shuwei Chen
,
Xingxing He
Inf. Sci., 2021

Improving stochastic local search for uniform k-SAT by generating appropriate initial assignment.
[BibTeX]
[DOI]
Huimin Fu
,
Wuyang Zhang
,
Guanfeng Wu
,
Yang Xu
,
Jun Liu
Comput. Intell., 2021

More efficient stochastic local search for satisfiability.
[BibTeX]
[DOI]
Huimin Fu
,
Guanfeng Wu
,
Jun Liu
,
Yang Xu
Appl. Intell., 2021

2020
Improving WalkSAT for Random 3-SAT Problems.
[BibTeX]
[DOI]
Huimin Fu
,
Yang Xu
,
Shuwei Chen
,
Jun Liu
J. Univers. Comput. Sci., 2020

Improving probability selecting based weights for Satisfiability Problem.
[BibTeX]
[DOI]
Huimin Fu
,
Yang Xu
,
Jun Liu
,
Guanfeng Wu
,
Geoff Sutcliffe
CoRR, 2020

Focused random walk with probability distribution for SAT with long clauses.
[BibTeX]
[DOI]
Huimin Fu
,
Jun Liu
,
Yang Xu
Appl. Intell., 2020

2018
Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic.
[BibTeX]
[DOI]
Xinran Ning
,
Yang Xu
,
Guanfeng Wu
,
Huimin Fu
Symmetry, 2018

An Improved Adaptive Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy Strategy.
[BibTeX]
[DOI]
Huimin Fu
,
Yang Xu
,
Guanfeng Wu
,
Hairui Jia
,
Wuyang Zhang
,
Rong Hu
Int. J. Comput. Intell. Syst., 2018

2017
An improved genetic algorithm for solving 3-SAT problems based on effective restart and greedy strategy.
[BibTeX]
[DOI]
Huimin Fu
,
Yang Xu
,
Guanfeng Wu
,
Xinran Ning
Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017


  Loading...