Machine Learning-Based Restart Policy for CDCL SAT Solvers. - Jia Hui Liang; Chanseok Oh; Minu Mathew; Ciza Thomas; Chunxiao Li 002; Vijay Ganesh 001 (SAT, 2018)

Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers. - Chunxiao Li 002; Noah Fleming; Marc Vinyals; Toniann Pitassi; Vijay Ganesh 001 (SAT, 2020)

On the Hierarchical Community Structure of Practical Boolean Formulas. - Chunxiao Li 002; Jonathan Chung 003; Soham Mukherjee; Marc Vinyals; Noah Fleming; Antonina Kolokolova; Alice Mu; Vijay Ganesh 001 (SAT, 2021)

On the Hierarchical Community Structure of Practical SAT Formulas. - Chunxiao Li 002; Jonathan Chung 003; Soham Mukherjee; Marc Vinyals; Noah Fleming; Antonina Kolokolova; Alice Mu; Vijay Ganesh 001 (CoRR, 2021)

Learning Shorter Redundant Clauses in SDCL Using MaxSAT. - Albert Oliveras; Chunxiao Li 002; Darryl Wu; Jonathan Chung 003; Vijay Ganesh 001 (SAT, 2023)

Limits of CDCL Learning via Merge Resolution. - Noah Fleming; Vijay Ganesh 001; Antonina Kolokolova; Chunxiao Li 002; Marc Vinyals (Electron. Colloquium Comput. Complex., 2023)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers. - Chunxiao Li 002; Charlie Liu; Jonathan Chung 003; Zhengyang Lu 002; Piyush Jha; Vijay Ganesh 001 (CoRR, 2024)