Follow
Chunxiao (Ian) Li
Chunxiao (Ian) Li
Verified email at uwaterloo.ca
Title
Cited by
Cited by
Year
Machine learning-based restart policy for CDCL SAT solvers
JH Liang, C Oh, M Mathew, C Thomas, C Li, V Ganesh
Theory and Applications of Satisfiability Testing–SAT 2018: 21st …, 2018
662018
Towards a Complexity-theoretic Understanding of Restarts in SAT solvers
C Li, N Fleming, M Vinyals, T Pitassi, V Ganesh
Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020
152020
On the Hierarchical Community Structure of Practical Boolean Formulas
C Li, J Chung, S Mukherjee, M Vinyals, N Fleming, A Kolokolova, A Mu, ...
International Conference on Theory and Applications of Satisfiability …, 2021
132021
Learning shorter redundant clauses in sdcl using maxsat
A Oliveras, C Li, D Wu, J Chung, V Ganesh
26th International Conference on Theory and Applications of Satisfiability …, 2023
22023
A reinforcement learning based reset policy for cdcl sat solvers
C Li, C Liu, J Chung, P Jha, V Ganesh
arXiv preprint arXiv:2404.03753, 2024
12024
Limits of CDCL Learning via Merge Resolution
M Vinyals, C Li, N Fleming, A Kolokolova, V Ganesh
arXiv preprint arXiv:2304.09422, 2023
12023
Understanding and Improving SAT Solvers via Proof Complexity and Reinforcement Learning
C Li
University of Waterloo, 2023
2023
Learning shorter redundant clauses in SDCL using MaxSAT
A Oliveras Llunell, C Li, D Wu, J Chung, V Ganesh
26th International Conference on Theory and Applications of Satisfiability …, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–8