%0 Conference Paper %1 conf/ijcai/LuSJDM024 %A Lu, Zhengyang %A Siemer, Stefan %A Jha, Piyush %A Day, Joel D. %A Manea, Florin %A Ganesh, Vijay %B IJCAI %D 2024 %I ijcai.org %K dblp %P 1907-1915 %T Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2024.html#LuSJDM024 %@ 978-1-956792-04-1

@inproceedings{conf/ijcai/LuSJDM024, added-at = {2024-10-18T00: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/2dd1a99bf3a00a7b1e76b5b8460276e65/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2024}, ee = {https://www.ijcai.org/proceedings/2024/211}, interhash = {8c3ebd1181b973aeec189f3e548bd2b1}, intrahash = {dd1a99bf3a00a7b1e76b5b8460276e65}, isbn = {978-1-956792-04-1}, keywords = {dblp}, pages = {1907-1915}, publisher = {ijcai.org}, timestamp = {2024-10-21T07:12:03.000+0200}, title = {Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2024.html#LuSJDM024}, year = 2024 }