Chun-Xiao Li
From MaRDI portal
Person:1954971
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Learning shorter redundant clauses in SDCL using MaxSAT | 2024-11-26 | Paper |
| Limits of CDCL learning via merge resolution | 2024-11-26 | Paper |
| On the hierarchical community structure of practical Boolean formulas | 2022-03-22 | Paper |
| Towards a complexity-theoretic understanding of restarts in SAT solvers | 2021-04-07 | Paper |
| Adaptive positive and negative runs test Journal of Statistical Computation and Simulation | 2020-04-23 | Paper |
| Reconfiguration of distribution networks with distributed generation using a dual hybrid particle swarm optimization algorithm Mathematical Problems in Engineering | 2018-11-05 | Paper |
| Machine learning-based restart policy for CDCL SAT solvers | 2018-08-10 | Paper |
| Decomposition of the time reversal operator for target detection Mathematical Problems in Engineering | 2013-06-11 | Paper |
| Focusing with the decomposition of the time reversal operator method in noisy environments Journal of Zhejiang University. Science A | 2009-12-15 | Paper |
Research outcomes over time
This page was built for person: Chun-Xiao Li
