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 | 68 | 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 | 15 | 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 | 13 | 2021 |
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 | 2 | 2023 |
A reinforcement learning based reset policy for cdcl sat solvers C Li, C Liu, J Chung, Z Lu, P Jha, V Ganesh arXiv preprint arXiv:2404.03753, 2024 | 1 | 2024 |
Limits of CDCL Learning via Merge Resolution M Vinyals, C Li, N Fleming, A Kolokolova, V Ganesh arXiv preprint arXiv:2304.09422, 2023 | 1 | 2023 |
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 |