Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis

1 code implementation • 30 Jan 2024 • Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel Day, Florin Manea, Vijay Ganesh

Our method treats strategy synthesis as a sequential decision-making process, whose search tree corresponds to the strategy space, and employs MCTS to navigate this vast search space.

Decision Making Efficient Exploration +1