Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Torgny Andersson
Hyung-Jun Choi
Robert J. Zomer
Scott A. Starks
Hikaru Fujisaki
Michael Terry
Zhihao Li
Radu Timofte
Huang Ching Lee
carlos ma
Home
/
Author
/
XINGXING HE
Author Info
Open Visualization
Name
Affiliation
Papers
XINGXING HE
School of Mathematics, Southwest Jiaotong University, Chengdu 610031, Sichuan, PR China
36
Collaborators
Citations
PageRank
28
84
13.90
Referers
Referees
References
117
379
334
Search Limit
100
379
Publications (36 rows)
Collaborators (28 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Alpha-Paramodulation Method For A Lattice-Valued Logic Lnf(X) With Equality
0
0.34
2021
Distance measures on intuitionistic fuzzy sets based on intuitionistic fuzzy dissimilarity functions
1
0.35
2020
Two computational formulae for similarity measures on intuitionistic fuzzy sets based on intuitionistic fuzzy equivalencies.
0
0.34
2019
A Learned Clause Deletion Strategy Based on Distance Ratio
0
0.34
2019
Some notes on optimal fuzzy reasoning methods.
0
0.34
2019
Contradiction separation based dynamic multi-clause synergized automated deduction.
1
0.37
2018
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic.
0
0.34
2018
一种基于搜索路径识别的CDCL命题逻辑求解器延迟重启算法 (Path Identification Based Delaying Restart Algorithm for CDCL SAT Solver).
0
0.34
2018
A Hybrid Learnt Clause Evaluation Algorithm For Sat Problem
1
0.36
2018
Some synergized clause selection strategies for contradiction separation based automated deduction
0
0.34
2017
Three constructive methods for the definition of interval-valued fuzzy equivalencies.
2
0.35
2017
On the TL-transitivity of fuzzy similarity measures.
3
0.37
2017
Conflicting rate based branching heuristic for CDCL SAT solvers
0
0.34
2017
On the characterizations of fuzzy XNOR connectives.
0
0.34
2017
New terms metric based on substitutions
1
0.37
2017
A Logical Deduction Based Clause Learning Algorithm For Boolean Satisfiability Problems
0
0.34
2017
Properties of Raha's similarity-based approximate reasoning method.
3
0.38
2016
Robustness of fuzzy connectives and fuzzy reasoning with respect to general divergence measures.
4
0.40
2016
Similarity measures of interval-valued fuzzy sets.
2
0.40
2015
Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic
0
0.34
2015
Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic
0
0.34
2015
Some new approaches to constructing similarity measures
18
0.69
2014
α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic LV(n×2)P(X).
0
0.34
2014
A unified algorithm for finding $$k$$ k -IESFs in linguistic truth-valued lattice-valued propositional logic.
0
0.34
2014
Dissimilarity functions and divergence measures between fuzzy sets.
10
0.49
2014
Robustness of fuzzy connectives and fuzzy reasoning.
6
0.43
2013
On the associative property of fuzzy Xor connectives
4
0.44
2013
Relations Among Similarity Measure, Subsethood Measure And Fuzzy Entropy
6
0.44
2013
On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic.
5
0.47
2012
Alpha-Generalized Lock Resolution Method In Linguistic Truth-Valued Lattice-Valued Logic
3
0.43
2012
On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic
5
0.43
2012
Phased Array Antenna Design Based On Kriging Meta-Model
0
0.34
2012
Fuzzy XNOR connectives in fuzzy logic
8
0.56
2011
alpha-resolution method for a lattice-valued first-order logic.
0
0.34
2011
A hybrid intelligent early warning system for predicting economic crises: The case of China
0
0.34
2010
alpha-Satisfiability and alpha-Lock Resolution for a Lattice-Valued Logic LP(X)
1
0.42
2010
1