Learning a SAT Solver from Single-Bit Supervision.

Daniel Selsam Matthew Lamm Benedikt Bünz Percy Liang Leonardo de Moura David L. Dill

Published in: CoRR (2018)

Keyphrases

sat solvers
active learning
reinforcement learning
genetic algorithm
learning algorithm
probabilistic model
simulated annealing
metaheuristic