Guanfeng Wu - RankMe

34 papers B 1Misc 11Journal 20Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Multilayer inverse dynamic deduction algorithm of standard contradiction separation rule based on parallel mechanism. Eng. Appl. Artif. Intell. Guoyan Zeng, Guanfeng Wu, Shuwei Chen, Peiyao Liu, Jun Liu, Yang Xu, Jian Zhong
2026	J	`jnl`	Team collaboration-oriented multi-agent pathfinding and probabilistic verification. Inf. Fusion Xia Wang, Jun Liu, Chris D. Nugent, Shaobing Xu, Guanfeng Wu
2025	J	`jnl`	A Novel Conflict Deduction Algorithm Based on Contradiction Separation Inference Rule. Int. J. Comput. Intell. Syst. Hailin Guo, Feng Cao, Jianbing Yi, Guanfeng Wu, Weicai Li
2025	J	`jnl`	Instance Assignment Coverage Feature for Operation Control of SAT Solver. Int. J. Comput. Intell. Syst. Zhihui Li, Shuwei Chen, Guanfeng Wu, Yang Xu
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
2024	B	`conf`	MVRMLM 2024: Multimodal Video Retrieval and Multimodal Language Modelling. ICMR Hui Wang, Josef Kittler, Mark J. F. Gales, Rob Cooper, Maurice D. Mulvenna, Wing W. Y. Ng, Yang Hua, Richard Gault, Abbas Haider, Guanfeng Wu
2024	—	`conf`	Multi Modal Fusion for Video Retrieval based on CLIP Guide Feature Alignment. MVRMLM@ICMR Guanfeng Wu, Abbas Haider, Ivor T. A. Spence, Hui Wang
2024	J	`jnl`	Multi-modal video search by examples - A video quality impact analysis. IET Comput. Vis. Guanfeng Wu, Abbas Haider, Xing Tian, Erfan Loweimi, Chi-Ho Chan, Mengjie Qian, Muhammad Junaid Awan, Ivor T. A. Spence, Rob Cooper, Wing W. Y. Ng, Josef Kittler, Mark J. F. Gales, Hui Wang
2024	J	`jnl`	Residual feature decomposition and multi-task learning-based variation-invariant face recognition. Neural Comput. Appl. Abbas Haider, Guanfeng Wu, Ivor T. A. Spence, Hui Wang
2023	J	`jnl`	An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability. Knowl. Based Syst. Peiyao Liu, Shuwei Chen, Jun Liu, Yang Xu, Feng Cao, Guanfeng Wu
2023	—	`conf`	Designing Multimodal Video Search by Examples (MVSE) user interfaces: UX requirements elicitation and insights from semi-structured interviews. ECCE Kyle Boyd, Patrick McAllister, Maurice D. Mulvenna, Raymond R. Bond, Hui Wang, Ivor T. A. Spence, Guanfeng Wu, Abbas Haider
2023	Misc	`conf`	Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments. ISKE Xia Wang, Yang Xu, Jun Liu, Guanfeng Wu, Shuwei Chen
2023	J	`jnl`	Fully reusing clause deduction algorithm based on standard contradiction separation rule. Inf. Sci. Peiyao Liu, Yang Xu, Jun Liu, Shuwei Chen, Feng Cao, Guanfeng Wu
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	Misc	`conf`	Extending E Prover with Fully Use Binary Clauses Algorithm Based on Standard Contradiction Separation Rule. ISKE Peiyao Liu, Guanfeng Wu, Yang Xu, Feng Cao
2021	Misc	`conf`	Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy. ISKE Guoyan Zeng, Yang Xu, Guanfeng Wu, Feng Cao
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`	Improving probability selecting based weights for Satisfiability Problem. CoRR Huimin Fu, Yang Xu, Jun Liu, Guanfeng Wu, Geoff Sutcliffe
2019	J	`jnl`	A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search. Int. J. Comput. Intell. Syst. Feng Cao, Yang Xu, Shuwei Chen, Jian Zhong, Guanfeng Wu
2019	Misc	`conf`	A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance. ISKE Feng Cao, Yang Xu, Shuwei Chen, Xinran Ning, Guanfeng Wu
2018	J	`jnl`	A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem. Int. J. Comput. Intell. Syst. Guanfeng Wu, Qingshan Chen, Yang Xu, Xingxing He
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
2018	J	`jnl`	基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength). 计算机科学 Qingshan Chen, Yang Xu, Guanfeng Wu
2017	Misc	`conf`	Adding a LBD-based rewarding mechanism in branching heuristic for SAT solvers. ISKE Wenjing Chang, Guanfeng Wu, Yang Xu
2017	Misc	`conf`	An application security model based on business process in information system. ISKE Peng Xu, Meirong Chen, Lifang Feng, Guanfeng Wu, Fangli Ma, Danchen Wang
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
2017	Misc	`conf`	Conflicting rate based branching heuristic for CDCL SAT solvers. ISKE Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He
2017	Misc	`conf`	Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic. ISKE Feng Cao, Yang Xu, Jian Zhong, Guanfeng Wu
2017	Misc	`conf`	Multi-clause synergized contradiction separation based first-order theorem prover - MC-SCS. ISKE Jian Zhong, Feng Cao, Guanfeng Wu, Yang Xu, Jun Liu
2017	Misc	`conf`	Parallel hybrid genetic algorithm for sat problems based on OpenMP. ISKE Guanfeng Wu, Qingshan Chen, Feng Cao, Yang Xu, Xiaomei Zhong
2017	J	`jnl`	一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver). 计算机科学 Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He