| 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 | 51 | 2018 |
| 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 | 12 | 2020 |
| 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 | 10 | 2021 |
| 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 |
