Guanfeng Wu

According to our database, Guanfeng Wu authored at least 26 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Improving two-mode algorithm via probabilistic selection for solving satisfiability problem.

Huimin Fu, Shaowei Cai, Guanfeng Wu, Jun Liu, Xin Yang, Yang Xu

Inf. Sci., January, 2024

2023

Fully reusing clause deduction algorithm based on standard contradiction separation rule.

Peiyao Liu, Yang Xu, Jun Liu, Shuwei Chen, Feng Cao, Guanfeng Wu

Inf. Sci., April, 2023

An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability.

Peiyao Liu, Shuwei Chen, Jun Liu, Yang Xu, Feng Cao, Guanfeng Wu

Knowl. Based Syst., 2023

Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments.

Xia Wang, Yang Xu, Jun Liu, Guanfeng Wu, Shuwei Chen

Proceedings of the 18th International Conference on Intelligent Systems and Knowledge Engineering, 2023

Designing Multimodal Video Search by Examples (MVSE) user interfaces: UX requirements elicitation and insights from semi-structured interviews.

Kyle Boyd, Patrick McAllister, Maurice D. Mulvenna, Raymond R. Bond, Hui Wang, Ivor T. A. Spence, Guanfeng Wu, Abbas Haider

Proceedings of the European Conference on Cognitive Ergonomics 2023, 2023

2022

Improving probability selection based weights for satisfiability problems.

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.

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.

Huimin Fu, Wuyang Zhang, Guanfeng Wu, Yang Xu, Jun Liu

Comput. Intell., 2021

More efficient stochastic local search for satisfiability.

Huimin Fu, Guanfeng Wu, Jun Liu, Yang Xu

Appl. Intell., 2021

Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy.

Guoyan Zeng, Yang Xu, Guanfeng Wu, Feng Cao

Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

Extending E Prover with Fully Use Binary Clauses Algorithm Based on Standard Contradiction Separation Rule.

Peiyao Liu, Guanfeng Wu, Yang Xu, Feng Cao

Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021

2020

Improving probability selecting based weights for Satisfiability Problem.

Huimin Fu, Yang Xu, Jun Liu, Guanfeng Wu, Geoff Sutcliffe

CoRR, 2020

2019

A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search.

Feng Cao, Yang Xu, Shuwei Chen, Jian Zhong, Guanfeng Wu

Int. J. Comput. Intell. Syst., 2019

A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance.

Feng Cao, Yang Xu, Shuwei Chen, Xinran Ning, Guanfeng Wu

Proceedings of the 14th IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2019

2018

Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic.

Xinran Ning, Yang Xu, Guanfeng Wu, Huimin Fu

Symmetry, 2018

基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength).

Qingshan Chen, Yang Xu, Guanfeng Wu

计算机科学, 2018

A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem.

Guanfeng Wu, Qingshan Chen, Yang Xu, Xingxing He

Int. J. Comput. Intell. Syst., 2018

An Improved Adaptive Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy Strategy.

Huimin Fu, Yang Xu, Guanfeng Wu, Hairui Jia, Wuyang Zhang, Rong Hu

Int. J. Comput. Intell. Syst., 2018

2017

一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver).

Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He

计算机科学, 2017

Multi-clause synergized contradiction separation based first-order theorem prover - MC-SCS.

Jian Zhong, Feng Cao, Guanfeng Wu, Yang Xu, Jun Liu

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

An application security model based on business process in information system.

Peng Xu, Meirong Chen, Lifang Feng, Guanfeng Wu, Fangli Ma, DanChen Wang

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Parallel hybrid genetic algorithm for sat problems based on OpenMP.

Guanfeng Wu, Qingshan Chen, Feng Cao, Yang Xu, Xiaomei Zhong

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

An improved genetic algorithm for solving 3-SAT problems based on effective restart and greedy strategy.

Huimin Fu, Yang Xu, Guanfeng Wu, Xinran Ning

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Conflicting rate based branching heuristic for CDCL SAT solvers.

Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Adding a LBD-based rewarding mechanism in branching heuristic for SAT solvers.

Wenjing Chang, Guanfeng Wu, Yang Xu

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic.

Feng Cao, Yang Xu, Jian Zhong, Guanfeng Wu

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017