The following pages link to Chun-Xiao Li (Q1954971):
Displaying 10 items.
- (Q1045652) (redirect page) (← links)
- Focusing with the decomposition of the time reversal operator method in noisy environments (Q1045656) (← links)
- Machine learning-based restart policy for CDCL SAT solvers (Q1656568) (← links)
- Decomposition of the time reversal operator for target detection (Q1954975) (← links)
- Reconfiguration of distribution networks with distributed generation using a dual hybrid particle swarm optimization algorithm (Q1992352) (← links)
- On the hierarchical community structure of practical Boolean formulas (Q2118321) (← links)
- Towards a complexity-theoretic understanding of restarts in SAT solvers (Q2661349) (← links)
- Adaptive positive and negative runs test (Q4960611) (← links)
- Learning shorter redundant clauses in SDCL using MaxSAT (Q6643095) (← links)
- Limits of CDCL learning via merge resolution (Q6643112) (← links)
