| 2026 | ISKE | Prover-Guided Correction for Natural Language to First-Order Logic Conversion. | Manyao Zhu, Guanfeng Wu, Jun Liu, Yang Xu |
| 2023 | ISKE | Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments. | Xia Wang, Yang Xu, Jun Liu, Guanfeng Wu, Shuwei Chen |
| 2021 | ISKE | Extending E Prover with Fully Use Binary Clauses Algorithm Based on Standard Contradiction Separation Rule. | Peiyao Liu, Guanfeng Wu, Yang Xu, Feng Cao |
| 2021 | ISKE | Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy. | Guoyan Zeng, Yang Xu, Guanfeng Wu, Feng Cao |
| 2019 | ISKE | A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance. | Feng Cao, Yang Xu, Shuwei Chen, Xinran Ning, Guanfeng Wu |
| 2017 | ISKE | Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic. | Feng Cao, Yang Xu, Jian Zhong, Guanfeng Wu |
| 2017 | ISKE | Adding a LBD-based rewarding mechanism in branching heuristic for SAT solvers. | Wenjing Chang, Guanfeng Wu, Yang Xu |
| 2017 | ISKE | Conflicting rate based branching heuristic for CDCL SAT solvers. | Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He |
| 2017 | ISKE | An improved genetic algorithm for solving 3-SAT problems based on effective restart and greedy strategy. | Huimin Fu, Yang Xu, Guanfeng Wu, Xinran Ning |
| 2017 | ISKE | Parallel hybrid genetic algorithm for sat problems based on OpenMP. | Guanfeng Wu, Qingshan Chen, Feng Cao, Yang Xu, Xiaomei Zhong |
| 2017 | ISKE | An application security model based on business process in information system. | Peng Xu, Meirong Chen, Lifang Feng, Guanfeng Wu, Fangli Ma, DanChen Wang |
| 2017 | ISKE | Multi-clause synergized contradiction separation based first-order theorem prover - MC-SCS. | Jian Zhong, Feng Cao, Guanfeng Wu, Yang Xu, Jun Liu |