Guanfeng Wu

Publication Activity (10 Years)

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

Top Topics

Stochastic Local Search

Greedy Strategy

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)
Guanfeng Wu, Abbas Haider, Ivor T. A. Spence, Hui Wang
Multi Modal Fusion for Video Retrieval based on CLIP Guide Feature Alignment. MVRMLM@ICMR (2024)
Hui Wang, Josef Kittler, Mark J. F. Gales, Rob Cooper, Maurice D. Mulvenna, Wing Ng, Yang Hua, Richard Gault, Abbas Haider, Guanfeng Wu
MVRMLM 2024: Multimodal Video Retrieval and Multimodal Language Modelling. ICMR (2024)
Kyle Boyd, Patrick McAllister, Maurice D. Mulvenna, Raymond R. Bond, Hui Wang, Ivor Spence, Guanfeng Wu, Abbas Haider
Designing Multimodal Video Search by Examples (MVSE) user interfaces: UX requirements elicitation and insights from semi-structured interviews. ECCE (2023)
Peiyao Liu, Shuwei Chen, Jun Liu, Yang Xu, Feng Cao, Guanfeng Wu
An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability. Knowl. Based Syst. 261 (2023)
Peiyao Liu, Yang Xu, Jun Liu, Shuwei Chen, Feng Cao, Guanfeng Wu
Fully reusing clause deduction algorithm based on standard contradiction separation rule. Inf. Sci. 622 (2023)
Xia Wang, Yang Xu, Jun Liu, Guanfeng Wu, Shuwei Chen
Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments. ISKE (2023)
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)
Guoyan Zeng, Yang Xu, Guanfeng Wu, Feng Cao
Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy. ISKE (2021)
Peiyao Liu, Guanfeng Wu, Yang Xu, Feng Cao
Extending E Prover with Fully Use Binary Clauses Algorithm Based on Standard Contradiction Separation Rule. ISKE (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, Yang Xu, Jun Liu, Guanfeng Wu, Geoff Sutcliffe
Improving probability selecting based weights for Satisfiability Problem. CoRR (2020)
Feng Cao, Yang Xu, Shuwei Chen, Jian Zhong, Guanfeng Wu
A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search. Int. J. Comput. Intell. Syst. 12 (2) (2019)
Feng Cao, Yang Xu, Shuwei Chen, Xinran Ning, Guanfeng Wu
A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance. ISKE (2019)
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)
Qingshan Chen, Yang Xu, Guanfeng Wu
基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength). 计算机科学 45 (12) (2018)
Guanfeng Wu, Qingshan Chen, Yang Xu, Xingxing He
A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem. Int. J. Comput. Intell. Syst. 12 (1) (2018)
Guanfeng Wu, Qingshan Chen, Feng Cao, Yang Xu, Xiaomei Zhong
Parallel hybrid genetic algorithm for sat problems based on OpenMP. ISKE (2017)
Wenjing Chang, Guanfeng Wu, Yang Xu
Adding a LBD-based rewarding mechanism in branching heuristic for SAT solvers. ISKE (2017)
Peng Xu, Meirong Chen, Lifang Feng, Guanfeng Wu, Fangli Ma, DanChen Wang
An application security model based on business process in information system. ISKE (2017)
Feng Cao, Yang Xu, Jian Zhong, Guanfeng Wu
Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic. ISKE (2017)
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)
Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He
一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver). 计算机科学 44 (11) (2017)
Jian Zhong, Feng Cao, Guanfeng Wu, Yang Xu, Jun Liu
Multi-clause synergized contradiction separation based first-order theorem prover - MC-SCS. ISKE (2017)
Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He
Conflicting rate based branching heuristic for CDCL SAT solvers. ISKE (2017)