Pages that link to "Item:Q2875110"
From MaRDI portal
The following pages link to Synthesis and optimization of reversible circuits -- a survey (Q2875110):
Displaying 50 items.
- A new reversible circuit synthesis algorithm based on cycle representations of permutations (Q324775) (← links)
- Depth-optimized reversible circuit synthesis (Q353018) (← links)
- Ancilla-free synthesis of large reversible functions using binary decision diagrams (Q491242) (← links)
- Synthesis of reversible circuits with minimal costs (Q734115) (← links)
- Fundamentals of reversible flowchart languages (Q896906) (← links)
- Heuristic methods to use don't cares in automated design of reversible and quantum logic circuits (Q1007119) (← links)
- On figures of merit in reversible and quantum logic designs (Q1039611) (← links)
- A reversible logical circuit synthesis algorithm based on decomposition of cycle representations of permutations (Q1616470) (← links)
- Reversible circuit synthesis by genetic programming using dynamic gate libraries (Q1679386) (← links)
- Decompositions of \(n\)-qubit Toffoli gates with linear circuit complexity (Q1701223) (← links)
- REVS: a tool for space-optimized reversible circuit synthesis (Q1705584) (← links)
- An ESOP based cube decomposition technique for reversible circuits (Q1705591) (← links)
- Automatic test pattern generation for multiple missing gate faults in reversible circuits. Work in progress report (Q1705604) (← links)
- Improving synthesis of reversible circuits: exploiting redundancies in paths and nodes of QMDDs (Q1705611) (← links)
- QMDD-based one-pass design of reversible logic: exploring the available degree of freedom (work-in-progress report) (Q1796390) (← links)
- Logic circuits from zero forcing (Q2003480) (← links)
- Depth optimization for topological quantum circuits (Q2018168) (← links)
- An improved and cost reduced quantum circuit generator approach for image encoding applications (Q2107995) (← links)
- Conditionally reversible computations and weak universality in category theory (Q2256643) (← links)
- Binary-decision-diagram-based decomposition of Boolean functions into reversible logic elements (Q2304557) (← links)
- An improved design of \(n\)-bit universal reversible gate library (Q2322160) (← links)
- Efficient algorithms for optimal 4-bit reversible logic system synthesis (Q2375481) (← links)
- Line ordering of reversible circuits for linear nearest neighbor realization (Q2443892) (← links)
- Design of a universal logic block for fault-tolerant realization of any logic operation in trapped-ion quantum circuits (Q2454272) (← links)
- A Classical Propositional Logic for Reasoning About Reversible Logic Circuits (Q2820684) (← links)
- A Fully Fault-Tolerant Representation of Quantum Circuits (Q2822503) (← links)
- Towards Line-Aware Realizations of Expressions for HDL-Based Synthesis of Reversible Circuits (Q2822514) (← links)
- Application of Functional Decomposition in Synthesis of Reversible Circuits (Q2822524) (← links)
- A Post-Synthesis Optimization Technique for Reversible Circuits Exploiting Negative Control Lines (Q2982334) (← links)
- A reversible logic synthesis algorithm based on the transformation of the truth table (Q3016932) (← links)
- Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs (Q3186590) (← links)
- Application of Permutation Group Theory in Reversible Logic Synthesis (Q3186603) (← links)
- A Finite Alternation Result for Reversible Boolean Circuits (Q3186606) (← links)
- Generating Reversible Circuits from Higher-Order Functional Programs (Q3186607) (← links)
- Six Synthesis Methods for Reversible Logic (Q3437855) (← links)
- Reversible and Quantum Circuit Optimization: A Functional Approach (Q3453739) (← links)
- Improved reversible and quantum circuits for Karatsuba-based integer multiplication. (Q4637981) (← links)
- The Classification of Reversible Bit Operations (Q4638073) (← links)
- Boolean satisfiability in quantum compilation (Q4993497) (← links)
- (Q5039134) (← links)
- Clean Reversible Simulations of Ranking Binary Trees (Q5112174) (← links)
- Translation Techniques for Reversible Circuit Synthesis with Positive and Negative Controls (Q5157443) (← links)
- OR-Toffoli and OR-Peres Reversible Gates (Q5162618) (← links)
- A dynamic programming approach to multi-objective logic synthesis of quantum circuits (Q6089495) (← links)
- Module for arbitrary controlled rotation in gate-based quantum algorithms (Q6095689) (← links)
- Basic circuit compilation techniques for an ion-trap quantum machine (Q6157880) (← links)
- Toffoli-depth reduction method preserving in-place quantum circuits and its application to SHA3-256 (Q6547301) (← links)
- Quantum circuit implementations of SM4 block cipher optimizing the number of qubits (Q6550788) (← links)
- Asymptotically optimal synthesis of reversible circuits (Q6647772) (← links)
- Categorical semantics of reversible pattern-matching (Q6653745) (← links)