Learning To Solve Circuit-SAT: An Unsupervised Differentiable Approach.

Saeed Amizadeh Sergiy Matusevych Markus Weimer

Published in: ICLR (Poster) (2019)

Keyphrases

supervised learning
learning process
learning systems
learning algorithm
high speed
online learning
unsupervised learning
learning tasks
support vector
training set
active learning
knowledge acquisition
circuit design