Reversible logic circuit synthesis.

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

Published in: ICCAD (2002)

Keyphrases

logic programming
modal logic
cellular automata
automated reasoning
predicate logic
data sets
genetic algorithm
logic programs
multi valued
classical logic
set theory
deductive reasoning
logic synthesis
linear logic
digital circuits
computational properties
e learning
databases