Login / Signup
Learning Branching Heuristics for Propositional Model Counting.
Pashootan Vaezipoor
Gil Lederman
Yuhuai Wu
Chris J. Maddison
Roger B. Grosse
Edward A. Lee
Sanjit A. Seshia
Fahiem Bacchus
Published in:
CoRR (2020)
Keyphrases
</>
learning algorithm
reinforcement learning
knowledge acquisition
learning problems
search algorithm
constraint satisfaction problems
background knowledge
first order logic
machine translation
constraint programming
knowledge compilation