Checking Reversibility of Boolean Functions

DOI10.1007/978-3-319-40578-0_23MaRDI QIDQ3186609zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Robert Wille, Aaron Lye, Philipp Niemann

Publication date 10 August 2016

Published in Reversible Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-40578-0_23

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Switching theory, applications of Boolean algebras to circuits and networks (94C11) Boolean functions (94D10)

Recommendations

• Invertible Boolean Functions
• scientific article; zbMATH DE number 2163011
• Constructive reversible logic synthesis for Boolean functions with special properties
• Checking normality of Boolean functions
• Binary-decision-diagram-based decomposition of Boolean functions into reversible logic elements
• Testing Boolean functions properties
• scientific article; zbMATH DE number 6758609
• Testing Boolean function isomorphism
• Algebraic characterization of reversible logic gates

Cites work

• Ancilla-free synthesis of large reversible functions using binary decision diagrams
• Conflict-Driven Answer Set Enumeration
• Describing and Optimising Reversible Logic Using a Functional Language
• Efficient manipulation of decision diagrams
• Graph-Based Algorithms for Boolean Function Manipulation
• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 3692653 (Why is no real title available?)
• scientific article; zbMATH DE number 1256737 (Why is no real title available?)
• Theory and Applications of Satisfiability Testing

Cited in

(6)

• Initial ideas for automatic design and verification of control logic in reversible HDLs (work in progress report)
• scientific article; zbMATH DE number 2163011 (Why is no real title available?)
• A coding theoretic approach towards symmetrization in reversible circuit synthesis
• scientific article; zbMATH DE number 7656035 (Why is no real title available?)
• New Results on Reversible Boolean Functions Having Component Functions with Specified Properties
• Toffoli-depth reduction method preserving in-place quantum circuits and its application to SHA3-256

Describes a project that uses

Uses Software

• MiniSat
• RevLib

This page was built for publication: Checking Reversibility of Boolean Functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3186609)