Xingxing He
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
2
Active years
2010–2019
Best venue rank
National
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ISKE | A Learned Clause Deletion Strategy Based on Distance Ratio. | Meng Wang, Xingxing He, Jun Liu |
| 2017 | ISKE | Some synergized clause selection strategies for contradiction separation based automated deduction. | Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu, Xingxing He |
| 2017 | ISKE | Conflicting rate based branching heuristic for CDCL SAT solvers. | Qingshan Chen, Yang Xu, Guanfeng Wu, Xingxing He |
| 2017 | ISKE | New terms metric based on substitutions. | Qinghua Liu, Yang Xu, Xingxing He |
| 2015 | ISKE | Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic. | Xingxing He, Yang Xu, Jun Liu |
| 2015 | ISKE | Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic. | Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen |
| 2010 | HAIS | Untitled record | Xingxing He, Yang Xu, Yingfang Li, Jun Liu, Luis Martnez-Lpez, Da Ruan |