Chunxiao Li

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 9

Top Topics

Clause Learning

Prime Implicates

Community Structure

Top Venues

Electron. Colloquium Comput. Complex.

Publications

Chunxiao Li, Charlie Liu, Jonathan Chung, Zhengyang Lu, Piyush Jha, Vijay Ganesh
A Reinforcement Learning based Reset Policy for CDCL SAT Solvers. CoRR (2024)
Noah Fleming, Vijay Ganesh, Antonina Kolokolova, Chunxiao Li, Marc Vinyals
Limits of CDCL Learning via Merge Resolution. Electron. Colloquium Comput. Complex. (2023)
Marc Vinyals, Chunxiao Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh
Limits of CDCL Learning via Merge Resolution. SAT (2023)
Albert Oliveras, Chunxiao Li, Darryl Wu, Jonathan Chung, Vijay Ganesh
Learning Shorter Redundant Clauses in SDCL Using MaxSAT. SAT (2023)
Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh
On the Hierarchical Community Structure of Practical Boolean Formulas. SAT (2021)
Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh
On the Hierarchical Community Structure of Practical SAT Formulas. CoRR (2021)
Chunxiao Li, Noah Fleming, Marc Vinyals, Toniann Pitassi, Vijay Ganesh
Towards a Complexity-theoretic Understanding of Restarts in SAT solvers. CoRR (2020)
Chunxiao Li, Noah Fleming, Marc Vinyals, Toniann Pitassi, Vijay Ganesh
Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers. SAT (2020)
Jia Hui Liang, Chanseok Oh, Minu Mathew, Ciza Thomas, Chunxiao Li, Vijay Ganesh
Machine Learning-Based Restart Policy for CDCL SAT Solvers. SAT (2018)