Login / Signup
Learning Branching Heuristics for Propositional Model Counting.
Pashootan Vaezipoor
Gil Lederman
Yuhuai Wu
Chris J. Maddison
Roger B. Grosse
Sanjit A. Seshia
Fahiem Bacchus
Published in:
AAAI (2021)
Keyphrases
</>
learning algorithm
reinforcement learning
learning models
bayesian networks
search algorithm
knowledge acquisition