Co-occurring keywords
Papers
Learning to Solve SMT Formulas
NIPS 2018
Learning to Run Heuristics in Tree Search
IJCAI 2017
Optimistic planning for Markov decision processes
AISTATS 2012
Monte-Carlo Planning in Large POMDPs
NIPS 2010