Chun-Xiao Li

Available identifiers

zbMath Open li.chunxiaoMaRDI QIDQ1954971

List of research outcomes

Publication	Date of Publication	Type
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	2020-04-23	Paper
Reconfiguration of distribution networks with distributed generation using a dual hybrid particle swarm optimization algorithm	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	2013-06-11	Paper
Focusing with the decomposition of the time reversal operator method in noisy environments	2009-12-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Chun-Xiao Li