Zhengyang Lu
Affiliations:- University of Waterloo, Canada
According to our database1,
Zhengyang Lu
authored at least 3 papers
in 2024.
Collaborative distances:
Collaborative distances:
Timeline
2024
0
1
2
3
4
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
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