Zhengyang Lu

1 paper in the IJCAI proceedings

IJCAI 2024

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis

with Stefan Siemer, Piyush Jha, Joel Day, Florin Manea, Vijay Ganesh

doi:10.24963/ijcai.2024/211

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings