:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
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)

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)

Node Replacement based Approximate Quantum Simulation with Decision Diagrams
by: Yan, Yexin, et al.
Published: (2025)

Optimization and Synthesis of Quantum Circuits with Global Gates
by: Villoria, Alejandro, et al.
Published: (2025)

Mixed-Dimensional Qudit State Preparation Using Edge-Weighted Decision Diagrams
by: Mato, Kevin, et al.
Published: (2024)

Shuttling for Scalable Trapped-Ion Quantum Computers
by: Schoenberger, Daniel, et al.
Published: (2024)

Optimization and Synthesis of Quantum Circuits with Global Gates
by: Villoria Gonzalez, Alejandro, et al.
Published: (2025)

Numerical Errors in Quantitative System Analysis With Decision Diagrams
by: Brand, Sebastiaan, et al.
Published: (2025)

Equivalence Checking of Quantum Circuits by Model Counting
by: Mei, Jingyi, et al.
Published: (2024)

Uniformity within Parameterized Circuit Classes
by: Hegeman, Steef, et al.
Published: (2025)

Reducing Quantum Circuit Synthesis to #SAT
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)

Quantum Algorithms for Magic Square Diophantine Equations
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)

Search-Driven Clause Learning for Product-State Quantum $k$-SAT (PRODSAT-QSAT)
by: González-Castillo, Samuel, et al.
Published: (2026)

Enriching Diagrams with Algebraic Operations
by: Villoria, Alejandro, et al.
Published: (2023)

Advancing Quantum Computing with Formal Methods
by: Quist, Arend-Jan, et al.
Published: (2024)

Quokka#: Quantum Computing with #SAT
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)

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
by: Huang, Wei-Jia, et al.
Published: (2026)

From Tensor Networks to Tractable Circuits, and back
by: Quist, Arend-Jan, et al.
Published: (2026)

Quantum Physics using Weighted Model Counting
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)

Compact Parallel Hash Tables on the GPU
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)

Joint Cutting for Hybrid Schrödinger-Feynman Simulation of Quantum Circuits
by: Herzog, Laura S., et al.
Published: (2025)

Predicting Good Quantum Circuit Compilation Options
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)

A Rigorous Quantum Framework for Inequality-Constrained and Multi-Objective Binary Optimization
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)

Improving Figures of Merit for Quantum Circuit Compilation
by: Hopf, Patrick, et al.
Published: (2025)

Improving Figures of Merit for Quantum Circuit Compilation
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)

Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level
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)

Synthesis and Optimization of Encoding Circuits for Fault-Tolerant Quantum Computation
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)