Reversible Logic Synthesis Based on Decision Diagram Variable Ordering.
David Y. FeinsteinMitchell A. ThorntonPublished in: J. Multiple Valued Log. Soft Comput. (2012)
Keyphrases
- logic synthesis
- variable ordering
- decision diagrams
- multi valued
- binary decision diagrams
- boolean functions
- branch and bound algorithm
- heuristic search
- planning problems
- quantum computing
- inductive learning
- max sat
- knowledge compilation
- markov decision processes
- branch and bound
- genetic algorithm
- propositional satisfiability
- constraint satisfaction problems
- np hard
- logic circuits
- search algorithm