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
492018
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
122020
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
92021
Limits of CDCL Learning via Merge Resolution
M Vinyals, C Li, N Fleming, A Kolokolova, V Ganesh
arXiv preprint arXiv:2304.09422, 2023
2023
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
2023
The system can't perform the operation now. Try again later.
Articles 1–5