Saved in:
| Main Authors: | Vinkhuijzen, Lieuwe, Grurl, Thomas, Hillmich, Stefan, Brand, Sebastiaan, Wille, Robert, Laarman, Alfons |
|---|---|
| Format: | Recurso digital |
| Language: | English |
| Published: |
Zenodo
2025
|
| Online Access: | https://doi.org/10.5281/zenodo.17190634 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A Knowledge Compilation Map for Quantum Information
by: Vinkhuijzen, Lieuwe, et al.
Published: (2024)
by: Vinkhuijzen, Lieuwe, et al.
Published: (2024)
Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing
by: Brand, Sebastiaan, et al.
Published: (2025)
by: Brand, Sebastiaan, et al.
Published: (2025)
Quantum Graph-State Synthesis with SAT
by: Brand, Sebastiaan, et al.
Published: (2023)
by: Brand, Sebastiaan, et al.
Published: (2023)
Simulating Quantum Circuits by Model Counting
by: Mei, Jingyi, et al.
Published: (2024)
by: Mei, Jingyi, et al.
Published: (2024)
GPU-Accelerated Quantum Simulation of Stabilizer Circuits
by: Osama, Muhammad, et al.
Published: (2026)
by: Osama, Muhammad, et al.
Published: (2026)
Node Replacement based Approximate Quantum Simulation with Decision Diagrams
by: Yan, Yexin, et al.
Published: (2025)
by: Yan, Yexin, et al.
Published: (2025)
Optimization and Synthesis of Quantum Circuits with Global Gates
by: Villoria, Alejandro, et al.
Published: (2025)
by: Villoria, Alejandro, et al.
Published: (2025)
Mixed-Dimensional Qudit State Preparation Using Edge-Weighted Decision Diagrams
by: Mato, Kevin, et al.
Published: (2024)
by: Mato, Kevin, et al.
Published: (2024)
Shuttling for Scalable Trapped-Ion Quantum Computers
by: Schoenberger, Daniel, et al.
Published: (2024)
by: Schoenberger, Daniel, et al.
Published: (2024)
Optimization and Synthesis of Quantum Circuits with Global Gates
by: Villoria Gonzalez, Alejandro, et al.
Published: (2025)
by: Villoria Gonzalez, Alejandro, et al.
Published: (2025)
Numerical Errors in Quantitative System Analysis With Decision Diagrams
by: Brand, Sebastiaan, et al.
Published: (2025)
by: Brand, Sebastiaan, et al.
Published: (2025)
Equivalence Checking of Quantum Circuits by Model Counting
by: Mei, Jingyi, et al.
Published: (2024)
by: Mei, Jingyi, et al.
Published: (2024)
Uniformity within Parameterized Circuit Classes
by: Hegeman, Steef, et al.
Published: (2025)
by: Hegeman, Steef, et al.
Published: (2025)
Reducing Quantum Circuit Synthesis to #SAT
by: Zak, Dekel, et al.
Published: (2025)
by: Zak, Dekel, et al.
Published: (2025)
Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation
by: de Colnet, Alexis, et al.
Published: (2026)
by: de Colnet, Alexis, et al.
Published: (2026)
Quantum Algorithms for Magic Square Diophantine Equations
by: Thanos, Dimitrios, et al.
Published: (2026)
by: Thanos, Dimitrios, et al.
Published: (2026)
Trade-offs between classical and quantum space using spooky pebbling
by: Quist, Arend-Jan, et al.
Published: (2024)
by: Quist, Arend-Jan, et al.
Published: (2024)
Search-Driven Clause Learning for Product-State Quantum $k$-SAT (PRODSAT-QSAT)
by: González-Castillo, Samuel, et al.
Published: (2026)
by: González-Castillo, Samuel, et al.
Published: (2026)
Enriching Diagrams with Algebraic Operations
by: Villoria, Alejandro, et al.
Published: (2023)
by: Villoria, Alejandro, et al.
Published: (2023)
Advancing Quantum Computing with Formal Methods
by: Quist, Arend-Jan, et al.
Published: (2024)
by: Quist, Arend-Jan, et al.
Published: (2024)
Quokka#: Quantum Computing with #SAT
by: Mei, Jingyi, et al.
Published: (2026)
by: Mei, Jingyi, et al.
Published: (2026)
Exact quantum decision diagrams with scaling guarantees for Clifford+$T$ circuits and beyond
by: Quist, Arend-Jan, et al.
Published: (2026)
by: Quist, Arend-Jan, et al.
Published: (2026)
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
by: Huang, Wei-Jia, et al.
Published: (2026)
by: Huang, Wei-Jia, et al.
Published: (2026)
From Tensor Networks to Tractable Circuits, and back
by: Quist, Arend-Jan, et al.
Published: (2026)
by: Quist, Arend-Jan, et al.
Published: (2026)
Quantum Physics using Weighted Model Counting
by: Ende, Dirck van den, et al.
Published: (2025)
by: Ende, Dirck van den, et al.
Published: (2025)
The Compilability Thresholds of 2-CNF to OBDD
by: de Colnet, Alexis, et al.
Published: (2026)
by: de Colnet, Alexis, et al.
Published: (2026)
Compact Parallel Hash Tables on the GPU
by: Hegeman, Steef, et al.
Published: (2024)
by: Hegeman, Steef, et al.
Published: (2024)
Scoring-based Static Variable Ordering for Decision Diagram-based Quantum Circuit Simulation
by: Kimura, Yusuke, et al.
Published: (2025)
by: Kimura, Yusuke, et al.
Published: (2025)
Joint Cutting for Hybrid Schrödinger-Feynman Simulation of Quantum Circuits
by: Herzog, Laura S., et al.
Published: (2025)
by: Herzog, Laura S., et al.
Published: (2025)
Predicting Good Quantum Circuit Compilation Options
by: Quetschlich, Nils, et al.
Published: (2022)
by: Quetschlich, Nils, et al.
Published: (2022)
Qubit Reuse Beyond Reorder and Reset: Optimizing Quantum Circuits by Fully Utilizing the Potential of Dynamic Circuits
by: Rovara, Damian, et al.
Published: (2025)
by: Rovara, Damian, et al.
Published: (2025)
A Rigorous Quantum Framework for Inequality-Constrained and Multi-Objective Binary Optimization
by: Egginger, Sebastian, et al.
Published: (2025)
by: Egginger, Sebastian, et al.
Published: (2025)
Minimizing the Number of Code Switching Operations in Fault-Tolerant Quantum Circuits
by: Weilandt, Erik, et al.
Published: (2025)
by: Weilandt, Erik, et al.
Published: (2025)
Improving Figures of Merit for Quantum Circuit Compilation
by: Hopf, Patrick, et al.
Published: (2025)
by: Hopf, Patrick, et al.
Published: (2025)
Improving Figures of Merit for Quantum Circuit Compilation
by: Hopf, Patrick, et al.
Published: (2025)
by: Hopf, Patrick, et al.
Published: (2025)
A Rigorous Quantum Framework for Inequality-Constrained and Multi-Objective Binary Optimization: Quadratic Cost Functions and Empirical Evaluations
by: Egginger, Sebastian, et al.
Published: (2025)
by: Egginger, Sebastian, et al.
Published: (2025)
Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level
by: Quetschlich, Nils, et al.
Published: (2023)
by: Quetschlich, Nils, et al.
Published: (2023)
MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing
by: Quetschlich, Nils, et al.
Published: (2023)
by: Quetschlich, Nils, et al.
Published: (2023)
Synthesis and Optimization of Encoding Circuits for Fault-Tolerant Quantum Computation
by: Peham, Tom, et al.
Published: (2026)
by: Peham, Tom, et al.
Published: (2026)
Quantum Circuit Optimization for the Fault-Tolerance Era: Do We Have to Start from Scratch?
by: Forster, Tobias, et al.
Published: (2025)
by: Forster, Tobias, et al.
Published: (2025)
Similar Items
-
A Knowledge Compilation Map for Quantum Information
by: Vinkhuijzen, Lieuwe, et al.
Published: (2024) -
Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing
by: Brand, Sebastiaan, et al.
Published: (2025) -
Quantum Graph-State Synthesis with SAT
by: Brand, Sebastiaan, et al.
Published: (2023) -
Simulating Quantum Circuits by Model Counting
by: Mei, Jingyi, et al.
Published: (2024) -
GPU-Accelerated Quantum Simulation of Stabilizer Circuits
by: Osama, Muhammad, et al.
Published: (2026)