Evaluating ESOP Optimization Methods in Quantum Compilation Flows

DOI10.1007/978-3-030-21500-2_12MaRDI QIDQ5237224zbMATH OpenOpenAlexFDO

Authors Giulia Meuli, Rüdiger Ehlers, Heinz Riener, Giovanni De Micheli, Bruno V. Schmitt

Publication date 17 October 2019

Published in Reversible Computation (Search for Journal in Brave)

Full work available at URL https://infoscience.epfl.ch/record/268484/files/RC19.pdf

zbMATH Keywords

ESOPlogic optimizationquantum circuitreversible logic synthesis

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)

Recommendations

• Cost optimization technique for quantum circuits
• SAT-based {CNOT, \(T\)} quantum circuit synthesis
• Quantum circuit optimization by Hadamard gate reduction
• Utilization of variable reordering in quantum ESCT minimization
• An ESOP based cube decomposition technique for reversible circuits

Cites work

• Application of Functional Decomposition in Synthesis of Reversible Circuits
• scientific article; zbMATH DE number 910724 (Why is no real title available?)
• Minimization of Modulo-2 Sum of Products
• Pseudo-Kronecker expressions for symmetric functions
• PySAT: a Python toolkit for prototyping with SAT oracles
• Quantum circuits for floating-point arithmetic
• Young subgroups for reversible computers.

Cited in

(4)

• An improved and cost reduced quantum circuit generator approach for image encoding applications
• A framework for quantum-classical cryptographic translation
• Boolean satisfiability in quantum compilation
• Synthesis of quantum circuits based on incompletely specified functions and if-decision diagrams

Describes a project that uses

Uses Software

• ABC
• ScaffCC
• PySAT

This page was built for publication: Evaluating ESOP Optimization Methods in Quantum Compilation Flows

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