Zhengyang Lu

Affiliations:
  • University of Waterloo, Canada


According to our database1, Zhengyang Lu authored at least 3 papers in 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2024
0
1
2
3
4
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Reinforcement Learning based Reset Policy for CDCL SAT Solvers.
CoRR, 2024

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems.
CoRR, 2024

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024


  Loading...