Zhengyu Li
Orcid: 0000-0003-0252-8549Affiliations:
- Georgia Institute of Technology, GA, USA
- University of Waterloo, Canada (former)
- University of Toronto, Canada (former)
According to our database1,
Zhengyu Li
authored at least 7 papers
between 2022 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems.
CoRR, February, 2025
2024
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems.
CoRR, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract).
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract).
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
CoRR, 2023
2022
Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, 2022