Joel Day

1 paper in the IJCAI proceedings

IJCAI 2024

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis

with Zhengyang Lu, Stefan Siemer, Piyush Jha, Florin Manea, Vijay Ganesh

doi:10.24963/ijcai.2024/211

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings