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