Monte-Carlo Tree Search for the Maximum Satisfiability Problem.

Jack Goffinet Raghuram Ramanujan

Published in: CP (2016)

Keyphrases

monte carlo tree search
monte carlo
tree search algorithm
evaluation function
bayesian reinforcement learning
monte carlo search
temporal difference
markov chain
reinforcement learning methods
neural network
learning algorithm
cost function
function approximation
temporal difference learning
alpha beta search