SAT-based methods for circuit synthesis.

Roderick Bloem Uwe Egly Patrick Klampfl Robert Könighofer Florian Lonsing

Published in: FMCAD (2014)

Keyphrases

data sets
artificial intelligence
reinforcement learning
preprocessing
significant improvement
machine learning methods
information retrieval
computer vision
case study
multi agent systems
computational cost
domain specific
computationally expensive