default search action

combined dblp search
author search
venue search
publication search

ask others

Xinran Ning

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jsjkx/Cao0ZN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsjkx/Cao0ZN20
Feng Cao, Yang Xu, Jian Zhong, Xinran Ning:
基于目标演绎距离的一阶逻辑子句集预处理方法 (First-order Logic Clause Set Preprocessing Method Based on Goal Deduction Distance). 计算机科学 47(3): 217-221 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/symmetry/CaoXLCN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/symmetry/CaoXLCN19
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): 1142 (2019)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/iske/CaoXCNW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iske/CaoXCNW19
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: 69-73
2018
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/nca/YinKSNJW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/nca/YinKSNJW18
Zihong Yin, Dehui Kong, Guoxia Shao, Xinran Ning, Warren Jin, Jingyan Wang:
A-optimal convolutional neural network. Neural Comput. Appl. 30(7): 2295-2304 (2018)
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/symmetry/NingXWF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/symmetry/NingXWF18
Xinran Ning, Yang Xu, Guanfeng Wu, Huimin Fu:
Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic. Symmetry 10(11): 553 (2018)
2017
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/iske/Fu0WN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iske/Fu0WN17
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: 1-6

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.