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)

A-optimal convolutional neural network. - Zihong Yin; Dehui Kong; Guoxia Shao; Xinran Ning; Warren Jin 001; Jingyan Wang (Neural Comput. Appl., 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)

CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic. - Feng Cao; Yang Xu 001; Jun Liu 001; Shuwei Chen 001; Xinran Ning (Symmetry, 2019)

基于目标演绎距离的一阶逻辑子句集预处理方法 (First-order Logic Clause Set Preprocessing Method Based on Goal Deduction Distance). - Feng Cao; Yang Xu 001; Jian Zhong; Xinran Ning (计算机科学, 2020)