Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%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
}