C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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