A Aralex Aachen research explorer

February 01, 2008 article

An XQDD-Based Verification Method for Quantum Circuits

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences

DOI: 10.1093/ietfec/e91-a.2.584 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 4 stored of 104

Automated Reasoning in Quantum Circuit Compilation
2024 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

4

citations
Equivalence Checking of Quantum Circuits by Model Counting
2024 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

15

citations
Fast Equivalence Checking of Quantum Circuits of Clifford Gates
2023 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

11

citations
Efficient Implementation of LIMDDs for Quantum Circuit Simulation
2023 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

9

citations

4 results

References 0