Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis

Lu et al. "Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis." International Joint Conference on Artificial Intelligence, 2024.

[Lu et al. "Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/lu2024ijcai-layered/)

@inproceedings{lu2024ijcai-layered,
  title     = {{Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis}},
  author    = {Lu, Zhengyang and Siemer, Stefan and Jha, Piyush and Day, Joel D. and Manea, Florin and Ganesh, Vijay},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {1907-1915},
  url       = {https://mlanthology.org/ijcai/2024/lu2024ijcai-layered/}
}