Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.

Zhengyang Lu Stefan Siemer Piyush Jha Joel D. Day Florin Manea Vijay Ganesh

Published in: CoRR (2024)

Keyphrases

monte carlo tree search
monte carlo
tree search algorithm
bayesian reinforcement learning
evaluation function
linear programming
optimal strategy
monte carlo search
neural network
collaborative learning
search strategies
alpha beta search