Ancilla-free synthesis of large reversible functions using binary decision diagrams.

Mathias Soeken Laura Tague Gerhard W. Dueck Rolf Drechsler

Published in: CoRR (2014)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
markov chain
model checking
cellular automata
variable ordering
functional programs
database
data sets
databases