Login / Signup
G2SAT: Learning to Generate SAT Formulas.
Jiaxuan You
Haoze Wu
Clark W. Barrett
Raghuram Ramanujan
Jure Leskovec
Published in:
NeurIPS (2019)
Keyphrases
</>
satisfiability problem
learning systems
machine learning
learning process
prior knowledge
active learning
mobile devices
sat solvers
neural network
learning algorithm
reinforcement learning
online learning
knowledge acquisition
inductive inference
sat solving