Login / Signup
G2SAT: Learning to Generate SAT Formulas.
Jiaxuan You
Haoze Wu
Clark W. Barrett
Raghuram Ramanujan
Jure Leskovec
Published in:
CoRR (2019)
Keyphrases
</>
learning algorithm
reinforcement learning
neural network
active learning
learning systems
learning process
np hard
supervised learning
online learning
satisfiability problem
search algorithm
prior knowledge
heuristic search
domain independent
inductive inference
propositional satisfiability