Chunxiao Li

Chunxiao Li is a Sessional Lecturer at the University of Waterloo. Their research focuses on SAT solvers, reinforcement learning, and computational complexity. Key areas include CDCL algorithms, proof complexity, and machine learning applications in optimization.

Research interests revolve around improving SAT solver efficiency through theoretical analysis and algorithmic innovations. Notable work explores restart policies, clause learning, and hierarchical structures in Boolean formulas.

Publications emphasize bridging machine learning with SAT solving, analyzing solver performance through complexity-theoretic lenses, and developing practical algorithmic improvements.

No scientific awards or grants are explicitly mentioned. No advising relationships or laboratory affiliations are provided in the text.