Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning.

Gil Lederman Markus N. Rabe Sanjit Seshia Edward A. Lee

Published in: ICLR (2020)

Keyphrases

reinforcement learning
learning algorithm

learning problems
machine learning

objective function
scheduling problem

optimal policy
quantified boolean formulas