Chun-Xiao Li

Available identifiers

zbMath Open li.chunxiaoMaRDI QIDQ1954971

List of research outcomes

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	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

This page was built for person: Chun-Xiao Li