QMDD: A Decision Diagram Structure for Reversible and Quantum Circuits

• Faster Algorithm for Achieving Minimal-Size Quantum Decision Diagrams

  2026 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

  0

  citations
• Quokka#: Quantum Computing with #SAT

  2026 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

  0

  citations
• Formal Verification of Quantum Ancilla Safety

  2026 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

  0

  citations
• Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing

  2025 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture

  2

  citations
• Numerical Errors in Quantitative System Analysis With Decision Diagrams

  2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  2

  citations
• 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
• Simulating Quantum Circuits by Model Counting

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

  15

  citations
• LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States

  2023 Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

  26

  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
• ParaGnosis: A Tool for Parallel Knowledge Compilation

  2023 Lecture notes in computer science conference-paper Computer Science Bayesian Modeling and Causal Inference

  1

  citations

11 results