%0 Conference Paper %1 conf/smt/LuSJDM024 %A Lu, Zhengyang %A Siemer, Stefan %A Jha, Piyush %A Day, Joel D. %A Manea, Florin %A Ganesh, Vijay %B SMT@CAV %D 2024 %E Reger, Giles %E Zohar, Yoni %I CEUR-WS.org %K dblp %P 75 %T Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. %U http://dblp.uni-trier.de/db/conf/smt/smt2024.html#LuSJDM024 %V 3725

@inproceedings{conf/smt/LuSJDM024, added-at = {2024-07-26T00:00:00.000+0200}, author = {Lu, Zhengyang and Siemer, Stefan and Jha, Piyush and Day, Joel D. and Manea, Florin and Ganesh, Vijay}, biburl = {https://www.bibsonomy.org/bibtex/219658c2908bb8208430080026b475ada/dblp}, booktitle = {SMT@CAV}, crossref = {conf/smt/2024}, editor = {Reger, Giles and Zohar, Yoni}, ee = {https://ceur-ws.org/Vol-3725/abstract1.pdf}, interhash = {8c3ebd1181b973aeec189f3e548bd2b1}, intrahash = {19658c2908bb8208430080026b475ada}, keywords = {dblp}, pages = 75, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-07-29T07:14:59.000+0200}, title = {Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/smt/smt2024.html#LuSJDM024}, volume = 3725, year = 2024 }