Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic. - Feng Cao; Yang Xu 001; Jian Zhong; Guanfeng Wu (ISKE, 2017)

Adding a LBD-based rewarding mechanism in branching heuristic for SAT solvers. - Wenjing Chang; Guanfeng Wu; Yang Xu 001 (ISKE, 2017)

Conflicting rate based branching heuristic for CDCL SAT solvers. - Qingshan Chen; Yang Xu 001; Guanfeng Wu; Xingxing He (ISKE, 2017)

An improved genetic algorithm for solving 3-SAT problems based on effective restart and greedy strategy. - Huimin Fu 002; Yang Xu 001; Guanfeng Wu; Xinran Ning (ISKE, 2017)

Parallel hybrid genetic algorithm for sat problems based on OpenMP. - Guanfeng Wu; Qingshan Chen; Feng Cao; Yang Xu 001; Xiaomei Zhong (ISKE, 2017)

An application security model based on business process in information system. - Peng Xu; Meirong Chen; Lifang Feng; Guanfeng Wu; Fangli Ma; DanChen Wang (ISKE, 2017)

Multi-clause synergized contradiction separation based first-order theorem prover - MC-SCS. - Jian Zhong; Feng Cao; Guanfeng Wu; Yang Xu 001; Jun Liu 001 (ISKE, 2017)

一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver). - Qingshan Chen; Yang Xu 001; Guanfeng Wu; Xingxing He (计算机科学, 2017)

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

A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem. - Guanfeng Wu; Qingshan Chen; Yang Xu 001; Xingxing He (Int. J. Comput. Intell. Syst., 2018)

基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength). - Qingshan Chen; Yang Xu 001; Guanfeng Wu (计算机科学, 2018)

Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic. - Xinran Ning; Yang Xu 001; Guanfeng Wu; Huimin Fu 002 (Symmetry, 2018)

A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance. - Feng Cao; Yang Xu 001; Shuwei Chen 001; Xinran Ning; Guanfeng Wu (ISKE, 2019)

A Contradiction Separation Dynamic Deduction Algorithm Based on Optimized Proof Search. - Feng Cao; Yang Xu 001; Shuwei Chen 001; Jian Zhong; Guanfeng Wu (Int. J. Comput. Intell. Syst., 2019)

Improving probability selecting based weights for Satisfiability Problem. - Huimin Fu 002; Yang Xu 001; Jun Liu 001; Guanfeng Wu; Geoff Sutcliffe (CoRR, 2020)

Extending E Prover with Fully Use Binary Clauses Algorithm Based on Standard Contradiction Separation Rule. - Peiyao Liu; Guanfeng Wu; Yang Xu 001; Feng Cao (ISKE, 2021)

Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy. - Guoyan Zeng; Yang Xu 001; Guanfeng Wu; Feng Cao (ISKE, 2021)

More efficient stochastic local search for satisfiability. - Huimin Fu 002; Guanfeng Wu; Jun Liu 001; Yang Xu 001 (Appl. Intell., 2021)

Improving stochastic local search for uniform k-SAT by generating appropriate initial assignment. - Huimin Fu 002; Wuyang Zhang; Guanfeng Wu; Yang Xu 001; Jun Liu 001 (Comput. Intell., 2021)

Emphasis on the flipping variable: Towards effective local search for hard random satisfiability. - Huimin Fu 002; Yang Xu 001; Guanfeng Wu; Jun Liu 001; Shuwei Chen 001; Xingxing He (Inf. Sci., 2021)

Improving probability selection based weights for satisfiability problems. - Huimin Fu 002; Jun Liu 001; Guanfeng Wu; Yang Xu 001; Geoff Sutcliffe (Knowl. Based Syst., 2022)

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 001; Ivor T. A. Spence; Guanfeng Wu; Abbas Haider (ECCE, 2023)

Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments. - Xia Wang; Yang Xu 001; Jun Liu 001; Guanfeng Wu; Shuwei Chen 001 (ISKE, 2023)

An efficient contradiction separation based automated deduction algorithm for enhancing reasoning capability. - Peiyao Liu; Shuwei Chen 001; Jun Liu 001; Yang Xu 001; Feng Cao; Guanfeng Wu (Knowl. Based Syst., 2023)

Fully reusing clause deduction algorithm based on standard contradiction separation rule. - Peiyao Liu; Yang Xu 001; Jun Liu 001; Shuwei Chen 001; Feng Cao; Guanfeng Wu (Inf. Sci., 2023)

MVRMLM 2024: Multimodal Video Retrieval and Multimodal Language Modelling. - Hui Wang 001; Josef Kittler; Mark J. F. Gales; Rob Cooper; Maurice D. Mulvenna; Wing W. Y. Ng; Yang Hua 001; Richard Gault; Abbas Haider; Guanfeng Wu (ICMR, 2024)

Multi Modal Fusion for Video Retrieval based on CLIP Guide Feature Alignment. - Guanfeng Wu; Abbas Haider; Ivor T. A. Spence; Hui Wang 001 (MVRMLM@ICMR, 2024)

Improving two-mode algorithm via probabilistic selection for solving satisfiability problem. - Huimin Fu 002; Shaowei Cai 001; Guanfeng Wu; Jun Liu 001; Xin Yang; Yang Xu 001 (Inf. Sci., 2024)

Multi-modal video search by examples - A video quality impact analysis. - Guanfeng Wu; Abbas Haider; Xing Tian; Erfan Loweimi; Chi-Ho Chan; Mengjie Qian 001; Muhammad Junaid Awan; Ivor T. A. Spence; Rob Cooper; Wing W. Y. Ng; Josef Kittler; Mark J. F. Gales; et al. (IET Comput. Vis., 2024)

Residual feature decomposition and multi-task learning-based variation-invariant face recognition. - Abbas Haider; Guanfeng Wu; Ivor T. A. Spence; Hui Wang 001 (Neural Comput. Appl., 2024)

A Novel Conflict Deduction Algorithm Based on Contradiction Separation Inference Rule. - Hailin Guo; Feng Cao; Jianbing Yi; Guanfeng Wu; Weicai Li (Int. J. Comput. Intell. Syst., 2025)

Instance Assignment Coverage Feature for Operation Control of SAT Solver. - Zhihui Li; Shuwei Chen; Guanfeng Wu; Yang Xu (Int. J. Comput. Intell. Syst., 2025)