Reversible circuit synthesis Using Binary Decision Diagrams.

Krzysztof Podlaski

Published in: MIXDES (2016)

Keyphrases

binary decision diagrams
boolean functions
markov chain
symbolic model checking
cellular automata
planning problems
variable ordering
model checking
knowledge compilation
data sets
databases
general purpose
multi dimensional