Yang Xu 0001 - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 61 from 61

2026

Towards multi-clause automated deduction and theorem generation: Constructing and applying standard contradictionsYang Xu 0001, Shuwei Chen 0001, Xiaomei Zhong, Jun Liu 0001, Xingxing He. kbs, 334:114985, 2026. [doi]

Multilayer inverse dynamic deduction algorithm of standard contradiction separation rule based on parallel mechanismGuoyan Zeng, Guanfeng Wu, Shuwei Chen 0001, Peiyao Liu, Jun Liu 0001, Yang Xu 0001, Jian Zhong. eaai, 163:113073, 2026. [doi]

2024

Improving two-mode algorithm via probabilistic selection for solving satisfiability problemHuimin Fu 0002, Shaowei Cai, Guanfeng Wu, Jun Liu, Xin Yang, Yang Xu 0001. isci, 653:119751, January 2024. [doi]

A complementary ratio based clause selection method for contradiction separation dynamic deductionGuoyan Zeng, Shuwei Chen 0001, Jun Liu 0001, Yang Xu 0001, Peiyao Liu. kbs, 284:111238, 2024. [doi]

2023

2022

Improving probability selection based weights for satisfiability problemsHuimin Fu 0002, Jun Liu 0001, Guanfeng Wu, Yang Xu 0001, Geoff Sutcliffe. kbs, 245:108572, 2022. [doi]

Axiom selection over large theory based on new first-order formula metricsQinghua Liu, Yang Xu 0001. apin, 52(2):1793-1807, 2022. [doi]

Attention recurrent cross-graph neural network for selecting premisesQinghua Liu, Yang Xu 0001, Xingxing He. mlc, 13(5):1301-1315, 2022. [doi]

2021

Emphasis on the flipping variable: Towards effective local search for hard random satisfiabilityHuimin Fu 0002, Yang Xu 0001, Guanfeng Wu, Jun Liu 0001, Shuwei Chen, Xingxing He. isci, 566:118-139, 2021. [doi]

Improving stochastic local search for uniform k-SAT by generating appropriate initial assignmentHuimin Fu 0002, Wuyang Zhang, Guanfeng Wu, Yang Xu 0001, Jun Liu 0001. ci, 37(4):1706-1744, 2021. [doi]

More efficient stochastic local search for satisfiabilityHuimin Fu 0002, Guanfeng Wu, Jun Liu, Yang Xu 0001. apin, 51(6):3996-4015, 2021. [doi]

A multi-clause dynamic deduction algorithm based on standard contradiction separation ruleFeng Cao, Yang Xu 0001, Jun Liu 0001, Shuwei Chen, JianBing Yi. isci, 566:281-299, 2021. [doi]

A logical reasoning based decision making method for handling qualitative knowledgeShuwei Chen, Jun Liu 0001, Yang Xu 0001. ijar, 129:49-63, 2021. [doi]

nF(X) with equalityXingxing He, Yang Xu 0001, Jun Liu 0001, Yingfang Li. soco, 25(1):251-261, 2021. [doi]

Research on the Minimum Size of Received Signal Strength Difference Localization NetworkFangli Ma, Yang Xu 0001, Peng Xu. ijcisys, 14(1):159, 2021. [doi]

2020

Improving WalkSAT for Random 3-SAT ProblemsHuimin Fu 0002, Yang Xu 0001, Shuwei Chen, Jun Liu 0001. jucs, 26(2):220-243, 2020. [doi]

Focused random walk with probability distribution for SAT with long clausesHuimin Fu 0002, Jun Liu 0001, Yang Xu 0001. apin, 50(12):4732-4753, 2020. [doi]

基于目标演绎距离的一阶逻辑子句集预处理方法 (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]

CSE 1.0-A First-Order Automated Theorem Prover Based on Contradiction Separation RuleFeng Cao, Yang Xu 0001, Guanfeng Wu, JianBing Yi. jucs, 26(9):1196-1211, 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]

Verify and measure the quality of rule based machine leaningHonglei Wei, Hairui Jia, Yingfang Li, Yang Xu 0001. kbs, 205:106300, 2020. [doi]

A Novel Combinational ATP Based on Contradiction Separation for First-Order LogicJian Zhong, Yang Xu 0001, Feng Cao. ijcisys, 13(1):672-680, 2020. [doi]

2019

2018

Contradiction separation based dynamic multi-clause synergized automated deductionYang Xu 0001, Jun Liu 0001, Shuwei Chen, Xiaomei Zhong, Xingxing He. isci, 462:93-113, 2018. [doi]

Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued LogicYang Xu 0001, Jun Liu 0001, Xingxing He, Xiaomei Zhong, Shuwei Chen. ijcisys, 11(1):384-401, 2018. [doi]

A New Rewarding Mechanism for Branching Heuristic in SAT SolversWenjing Chang, Yang Xu 0001, Shuwei Chen. ijcisys, 12(1):334-341, 2018. [doi]

基于趋势强度的SAT问题学习子句评估算法 (Learnt Clause Evaluation Algorithm of SAT Problem Based on Trend Strength)Qingshan Chen, Yang Xu 0001, Guanfeng Wu. jsjkx, 45(12):137-141, 2018. [doi]

An Improved Adaptive Genetic Algorithm for Solving 3-SAT Problems Based on Effective Restart and Greedy StrategyHuimin Fu, Yang Xu 0001, Guanfeng Wu, Hairui Jia, Wuyang Zhang, Rong Hu. ijcisys, 11(1):402-413, 2018. [doi]

基于加权平均值的一种分支启发式方法 (Branching Heuristic Method Based on Added Weight Average Value)Zhongxue Hu, Yang Xu 0001, Rong Hu. jsjkx, 45(11A):117-120, 2018. [doi]

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]

Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatizationXiaodong Pan, Yang Xu 0001. soco, 22(6):1777-1789, 2018. [doi]

A Hybrid Learnt Clause Evaluation Algorithm for SAT ProblemGuanfeng Wu, Qingshan Chen, Yang Xu 0001, Xingxing He. ijcisys, 12(1):250-258, 2018. [doi]

2017

Holistic deductive framework theorem proving based on standard contradiction separation for first-order logicFeng Cao, Yang Xu 0001, Jian Zhong, Guanfeng Wu. iske 2017: 1-5 [doi]

Adding a LBD-based rewarding mechanism in branching heuristic for SAT solversWenjing Chang, Guanfeng Wu, Yang Xu 0001. iske 2017: 1-6 [doi]

一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver)Qingshan Chen, Yang Xu 0001, Guanfeng Wu, Xingxing He. jsjkx, 44(11):279-283, 2017. [doi]

A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability ProblemsQingshan Chen, Yang Xu 0001, Jun Liu 0001, Xingxing He. ijcisys, 10(1):824-834, 2017. [doi]

Conflicting rate based branching heuristic for CDCL SAT solversQingshan Chen, Yang Xu 0001, Guanfeng Wu, Xingxing He. iske 2017: 1-5 [doi]

Some synergized clause selection strategies for contradiction separation based automated deductionShuwei Chen, Yang Xu 0001, Yan Jiang, Jun Liu, Xingxing He. iske 2017: 1-6 [doi]

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]

New terms metric based on substitutionsQinghua Liu, Yang Xu 0001, Xingxing He. iske 2017: 1-6 [doi]

A nonlinear programming based universal optimization model of TDOA passive locationFangli Ma, Yang Xu 0001, Peng Xu. iske 2017: 1-3 [doi]

Parallel hybrid genetic algorithm for sat problems based on OpenMPGuanfeng Wu, Qingshan Chen, Feng Cao, Yang Xu 0001, Xiaomei Zhong. iske 2017: 1-5 [doi]

Multi-clause synergized contradiction separation based first-order theorem prover - MC-SCSJian Zhong, Feng Cao, Guanfeng Wu, Yang Xu 0001, Jun Liu. iske 2017: 1-6 [doi]

2015

GA-Based Feature Selection Method for Imbalanced Data with Application in Radio Signal RecognitionLimin Du, Yang Xu 0001, Jun Liu 0001, Fangli Ma. ijcisys, 8(sup1):39-47, 2015. [doi]

A Method for Multi-attribute Decision Making Under Uncertainty Using Evidential Reasoning and Prospect TheoryLiuqian Jin, Xin Fang, Yang Xu 0001. ijcisys, 8(sup1):48-62, 2015. [doi]

Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision ImplicationsXiaodong Pan, Yang Xu 0001. ijcisys, 8(sup1):85-93, 2015. [doi]

-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic SystemsWeitao Xu, Wenqiang Zhang, Dexian Zhang, Yang Xu 0001, Xiaodong Pan. ijcisys, 8(sup1):75-84, 2015. [doi]

语言真值格值命题逻辑中的α-语义归结方法 (α-Semantic Resolution Method Based on Linguistic Truth-valued Lattice-valued Propositional Logic)Jiafeng Zhang, Yang Xu 0001, Qin Chen. jsjkx, 42(11):123-129, 2015. [doi]

2008

A Dynamic Neuro-Fuzzy Controller for Gas-Fired Water HeaterKaijun Xu, Xiaoping Qiu, Xiaobing Li, Yang Xu 0001. icnc 2008: 240-244 [doi]

Resolution method of six-element linguistic truth-valued intuitionistic propositional logicLi Zou, Fang Sun, Yang Xu 0001. iske 2008: 141-145 [doi]

2007

The Mixed Hierarchical Fuzzy Evaluation System Based on Dynamic Neural NetworkXiaoping Qiu, Yang Xu 0001, Haiming Li. icnc 2007: 431-435 [doi]

An Application of Dual-fuzzy Neural-networks to Design of Adaptive Fuzzy ControllersKaijun Xu, Li Zou, Jiajun Lai, Yang Xu 0001. icnc 2007: 371-375 [doi]

2001

Local relations hold reasoningWuming Pan, Yongchuan Tang, Yang Xu 0001, Keyun Qin. SMC 2001: 2151-2156 [doi]

2000

A study on fuzzy reasoning mechanism based on extension principleYang Xu 0001, Etienne E. Kerre, Da Ruan 0001, Zhenming Song. fuzzIEEE 2000: 185-190 [doi]

See Also

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Yang Xu 0001'

Viewing Publication 1 - 61 from 61

2026

2024

2023

2022

2021

2020

2019

2018

2017

2015

2008

2007

2001

2000

See Also

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag

Filter by VenueOR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Yang Xu 0001'

Viewing Publication 1 - 61 from 61

2026

2024

2023

2022

2021

2020

2019

2018

2017

2015

2008

2007

2001

2000

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1