EDBT 2026 Demo / reviewers in the wild / expert
Xingxing He
dblp:88/8228
· DBLP profile ↗
5ranked-venue papers in the field
1as first author
2since 2021 · last 2022
0000-0003-0574-8440ORCID · verified
Domains — venue-derived; a paper can count in several
Knowledge Engineering, Semantic Web & Information Systems · 5 (1 first)
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | On structures of regular standard contradictions in propositional logic
Xingxing He, Yingfang Li, Yang-He Feng |
Inf. Sci. | 1 |
| 2021 | Emphasis on the flipping variable: Towards effective local search for hard random satisfiability
Huimin Fu 0002, Yang Xu 0001, Guanfeng Wu, Jun Liu 0001, Shuwei Chen 0001, Xingxing He |
Inf. Sci. | 6 |
| 2019 | Some notes on optimal fuzzy reasoning methods
Yingfang Li, Xingxing He |
Inf. Sci. | 2 |
| 2018 | Contradiction separation based dynamic multi-clause synergized automated deduction
Yang Xu 0001, Jun Liu 0001, Shuwei Chen 0001, Xiaomei Zhong, Xingxing He |
Inf. Sci. | 5 |
| 2014 | Dissimilarity functions and divergence measures between fuzzy sets
Yingfang Li, Xingxing He |
Inf. Sci. | 3 |