Xinran Ning - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 7 from 7

2020

基于目标演绎距离的一阶逻辑子句集预处理方法 (First-order Logic Clause Set Preprocessing Method Based on Goal Deduction Distance)Feng Cao, Yang Xu 0001, Jian Zhong, Xinran Ning. jsjkx, 47(3):217-221, 2020. [doi]

A Generalized Unifying Principle for Clause Elimination in First-Order Logic with EqualityXinran Ning, Jun Liu 0001, Yang Xu 0001. jucs, 26(9):1077-1096, 2020. [doi]

2019

A First-Order Logic Clause Set Preprocessing Method Based on Clause Deduction DistanceFeng Cao, Yang Xu, Shuwei Chen, Xinran Ning, Guanfeng Wu. iske 2019: 69-73 [doi]

CSE_E 1.0: An Integrated Automated Theorem Prover for First-Order LogicFeng Cao, Yang Xu 0001, Jun Liu, Shuwei Chen, Xinran Ning. symmetry, 11(9):1142, 2019. [doi]

2018

Set-Blocked Clause and Extended Set-Blocked Clause in First-Order LogicXinran Ning, Yang Xu 0001, Guanfeng Wu, Huimin Fu. symmetry, 10(11):553, 2018. [doi]

A-optimal convolutional neural networkZihong Yin, Dehui Kong, Guoxia Shao, Xinran Ning, Warren Jin, Jing-Yan Wang. nca, 30(7):2295-2304, 2018. [doi]

2017

An improved genetic algorithm for solving 3-SAT problems based on effective restart and greedy strategyHuimin Fu, Yang Xu 0001, Guanfeng Wu, Xinran Ning. iske 2017: 1-6 [doi]

Sign in or sign up to see more results.

runs on WebDSL