Reversible Logic Circuit Synthesis.

Vivek V. Shende Aditya K. Prasad Igor L. Markov John P. Hayes

Published in: IWLS (2002)

Keyphrases

markov chain
modal logic
database
logic programming
cellular automata
asynchronous circuits
automated reasoning
classical logic
learning algorithm
knowledge base
multiscale
expressive power
multi valued
predicate logic