Exact sat-based toffoli network synthesis.

Daniel Große Xiaobo Chen Gerhard W. Dueck Rolf Drechsler

Published in: ACM Great Lakes Symposium on VLSI (2007)

Keyphrases

network topologies
answer set programming
neural network
real time
data sets
knowledge base
active learning
dynamic programming
network architecture
program synthesis