Login / Signup
Reversible Logic Synthesis via Biconditional Binary Decision Diagrams.
Anupam Chattopadhyay
Alessandro Littarru
Luca Gaetano Amarù
Pierre-Emmanuel Gaillardon
Giovanni De Micheli
Published in:
ISMVL (2015)
Keyphrases
</>
logic synthesis
binary decision diagrams
boolean functions
multi valued
markov chain
heuristic search
symbolic model checking
quantum computing
planning problems
inductive learning
model checking
logic circuits
knowledge compilation
optimal solution
objective function
database
lower bound
machine learning