Chunxiao (Ian) Li

According to our database, Chunxiao (Ian) Li authored at least 6 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Limits of CDCL Learning via Merge Resolution.

Noah Fleming, Vijay Ganesh, Antonina Kolokolova, Chunxiao Li, Marc Vinyals

Electron. Colloquium Comput. Complex., 2023

Learning Shorter Redundant Clauses in SDCL Using MaxSAT.

Albert Oliveras, Chunxiao Li, Darryl Wu, Jonathan Chung, Vijay Ganesh

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

2021

On the Hierarchical Community Structure of Practical SAT Formulas.

Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh

CoRR, 2021

On the Hierarchical Community Structure of Practical Boolean Formulas.

Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2020

Towards a Complexity-Theoretic Understanding of Restarts in SAT Solvers.

Chunxiao Li, Noah Fleming, Marc Vinyals, Toniann Pitassi, Vijay Ganesh

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

2018

Machine Learning-Based Restart Policy for CDCL SAT Solvers.

Jia Hui Liang, Chanseok Oh, Minu Mathew, Ciza Thomas, Chunxiao Li, Vijay Ganesh

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018