Xinran Ning

According to our database, Xinran Ning authored at least 6 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

基于目标演绎距离的一阶逻辑子句集预处理方法 (First-order Logic Clause Set Preprocessing Method Based on Goal Deduction Distance).

Feng Cao, Yang Xu, Jian Zhong, Xinran Ning

计算机科学, 2020

2019

CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order Logic.

Feng Cao, Yang Xu, Jun Liu, Shuwei Chen, Xinran Ning

Symmetry, 2019

A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction Distance.

Feng Cao, Yang Xu, Shuwei Chen, Xinran Ning, Guanfeng Wu

Proceedings of the 14th IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2019

2018

Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic.

Xinran Ning, Yang Xu, Guanfeng Wu, Huimin Fu

Symmetry, 2018

A-optimal convolutional neural network.

Zihong Yin, Dehui Kong, Guoxia Shao, Xinran Ning, Warren Jin, Jingyan Wang

Neural Comput. Appl., 2018

2017

An improved genetic algorithm for solving 3-SAT problems based on effective restart and greedy strategy.

Huimin Fu, Yang Xu, Guanfeng Wu, Xinran Ning

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017