Follow
Zhengyang John Lu
Title
Cited by
Cited by
Year
A video-based approach to calibrating car-following parameters in VISSIM for urban traffic
Z Lu, T Fu, L Fu, S Shiravi, C Jiang
International journal of transportation science and technology 5 (1), 1-9, 2016
552016
Effects of winter weather on traffic operations and optimization of signalized intersections
Z Lu, TJ Kwon, L Fu
Journal of traffic and transportation engineering (English edition) 6 (2 …, 2019
462019
Impact of right-turn channelization on pedestrian safety at signalized intersections
C Jiang, R Qiu, T Fu, L Fu, B Xiong, Z Lu
Accident Analysis & Prevention 136, 105399, 2020
372020
Alphamaplesat: An MCTS-based cube-and-conquer SAT solver for hard combinatorial problems
P Jha, Z Li, Z Lu, C Bright, V Ganesh
arXiv preprint arXiv:2401.13770, 2024
32024
Modelling, simulation and control of signalized intersections under adverse weather conditions
Z Lu
University of Waterloo, 2016
32016
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
12024
Layered and staged Monte Carlo tree search for SMT strategy synthesis
Z Lu, S Siemer, P Jha, J Day, F Manea, V Ganesh
Proceedings of the International Joint Conference on Artificial Intelligence …, 2024
12024
AlphaSMT: A reinforcement learning guided SMT solver
Z Lu
University of Waterloo, 2023
12023
Algorithm Selection for Word-Level Hardware Model Checking
Z Lu, PC Chien, NZ Lee, V Ganesh
2025
Adaptive Algorithm Selection for Btor2 Verification Tasks
ZJ Lu
The system can't perform the operation now. Try again later.
Articles 1–10