Property checking of quantum circuits using quantum multiple-valued decision diagrams

DOI10.1007/978-3-642-36315-3_15MaRDI QIDQ3453751zbMATH OpenOpenAlexWikidataFDO

Authors Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler

Publication date 30 November 2015

Published in Reversible Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-36315-3_15

Mathematics Subject Classification ID

Data structures (68P05) Networks and circuits as models of computation; circuit complexity (68Q06) Specification and verification (program logics, model checking, etc.) (68Q60) Quantum gates (81P65)

Recommendations

• On the ``Q in QMDDs: efficient representation of quantum functionality in the QMDD data-structure
• Model Checking for Verification of Quantum Circuits
• Fast equivalence-checking for quantum circuits
• Compact representations for the design of quantum logic
• Improved BDD Algorithms for the Simulation of Quantum Circuits

Cites work

• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 6028107 (Why is no real title available?)
• Quantum Circuit Simulation

Cited in

(8)

• Compact representations for the design of quantum logic
• Equivalence checking of quantum finite-state machines
• On the ``Q in QMDDs: efficient representation of quantum functionality in the QMDD data-structure
• Fast equivalence-checking for quantum circuits
• Equivalence checking in multi-level quantum systems
• Efficient implementation of LIMDDs for quantum circuit simulation
• Model Checking for Verification of Quantum Circuits
• Is simulation the only alternative for effective verification of dynamic quantum circuits?

Describes a project that uses

Uses Software

• QMDD
• QuIDDPro

This page was built for publication: Property checking of quantum circuits using quantum multiple-valued decision diagrams

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