Xinran Ning

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 6

Top Topics

Convolutional Neural Network

Predicate Calculus

Top Venues

Neural Comput. Appl.

计算机科学

Publications

Feng Cao, Yang Xu, Jian Zhong, Xinran Ning
基于目标演绎距离的一阶逻辑子句集预处理方法 (First-order Logic Clause Set Preprocessing Method Based on Goal Deduction Distance). 计算机科学 47 (3) (2020)
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)
Feng Cao, Yang Xu, Jun Liu, Shuwei Chen, Xinran Ning
CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic. Symmetry 11 (9) (2019)
Zihong Yin, Dehui Kong, Guoxia Shao, Xinran Ning, Warren Jin, Jingyan Wang
A-optimal convolutional neural network. Neural Comput. Appl. 30 (7) (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)
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)