C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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