14
Publications
292
Citations
12
H-Index
2011
Active since
Xingxing He is an author at Southwest Jiaotong University specializing in engineering, fuzzy logic, and automated reasoning.
Top concepts
EngineeringFuzzy LogicAutomated ReasoningFormal MethodsLanguageSemanticsData MiningLinguisticsData ScienceComputer Science
Publications per year
2011–2023
14
14
Contradiction separation based dynamic multi-clause synergized automated deduction
Yang Xu, Jun Liu, Shuwei Chen et al. · Information Sciences · 2018 · 25 citations · Full text
Rows per page
1–5 of 14