SAT-Based Methods for Circuit Synthesis.

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

Published in: CoRR (2014)

Keyphrases

benchmark datasets
data sets
data mining
significant improvement
computational cost
constraint propagation
real time
image segmentation
image sequences
face recognition
reinforcement learning
feature space