Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Theoretical Computer Science

Binary-decision-diagram-based decomposition of Boolean functions into reversible logic elements

Jia Lee, Ya-Hui Ye, Xin Huang, Ruilong Yang

Published Jan 20, 2020• 8 citations
Publisher
DOI
10.1016/j.tcs.2020.01.019

Related papers

Decision Diagrams in Reversible Logic

CRC Press eBooks•Dec 22, 2005•0 citations

Synthesis of Boolean Functions in Reversible Logic

Robert Wille, Rolf Drechsler

Synthesis lectures on digital circuits and systems•Jan 1, 2010•6 citations

Constructive Reversible Logic Synthesis for Boolean Functions with Special Properties

Anupam Chattopadhyay, Soumajit Majumder, Chander Chandak +1 more

Lecture notes in computer science•Jan 1, 2014•6 citations

Ancilla-free synthesis of large reversible functions using binary decision diagrams

Mathias Soeken, Laura Tague, Gerhard W. Dueck +1 more

arXiv:1408.3955•Journal of Symbolic Computation•Mar 4, 2015•52 citations

Empowering the Design of Reversible and Quantum Logic with Decision Diagrams

Robert Wille, Philipp Niemann, Alwin Zulehner +1 more

Computer architecture and design methodologies•Jul 9, 2022•0 citations

An Efficient Method to Synthesize Reversible Logic by Using Positive Davio Decision Diagrams

Yu Pang, Yafeng Yan, Jinzhao Lin +2 more

Circuits Systems and Signal Processing•Apr 12, 2014•4 citations