:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Vinkhuijzen, Lieuwe, Grurl, Thomas, Hillmich, Stefan, Brand, Sebastiaan, Wille, Robert, Laarman, Alfons
Format:	Recurso digital
Langue:	anglais
Publié:	Zenodo 2025
Accès en ligne:	https://doi.org/10.5281/zenodo.17190634
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Knowledge Compilation Map for Quantum Information
par: Vinkhuijzen, Lieuwe, et autres
Publié: (2024)

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing
par: Brand, Sebastiaan, et autres
Publié: (2025)

Quantum Graph-State Synthesis with SAT
par: Brand, Sebastiaan, et autres
Publié: (2023)

Simulating Quantum Circuits by Model Counting
par: Mei, Jingyi, et autres
Publié: (2024)

GPU-Accelerated Quantum Simulation of Stabilizer Circuits
par: Osama, Muhammad, et autres
Publié: (2026)

Node Replacement based Approximate Quantum Simulation with Decision Diagrams
par: Yan, Yexin, et autres
Publié: (2025)

Optimization and Synthesis of Quantum Circuits with Global Gates
par: Villoria, Alejandro, et autres
Publié: (2025)

Mixed-Dimensional Qudit State Preparation Using Edge-Weighted Decision Diagrams
par: Mato, Kevin, et autres
Publié: (2024)

Shuttling for Scalable Trapped-Ion Quantum Computers
par: Schoenberger, Daniel, et autres
Publié: (2024)

Optimization and Synthesis of Quantum Circuits with Global Gates
par: Villoria Gonzalez, Alejandro, et autres
Publié: (2025)

Numerical Errors in Quantitative System Analysis With Decision Diagrams
par: Brand, Sebastiaan, et autres
Publié: (2025)

Equivalence Checking of Quantum Circuits by Model Counting
par: Mei, Jingyi, et autres
Publié: (2024)

Uniformity within Parameterized Circuit Classes
par: Hegeman, Steef, et autres
Publié: (2025)

Reducing Quantum Circuit Synthesis to #SAT
par: Zak, Dekel, et autres
Publié: (2025)

Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation
par: de Colnet, Alexis, et autres
Publié: (2026)

Quantum Algorithms for Magic Square Diophantine Equations
par: Thanos, Dimitrios, et autres
Publié: (2026)

Trade-offs between classical and quantum space using spooky pebbling
par: Quist, Arend-Jan, et autres
Publié: (2024)

Search-Driven Clause Learning for Product-State Quantum $k$-SAT (PRODSAT-QSAT)
par: González-Castillo, Samuel, et autres
Publié: (2026)

Enriching Diagrams with Algebraic Operations
par: Villoria, Alejandro, et autres
Publié: (2023)

Advancing Quantum Computing with Formal Methods
par: Quist, Arend-Jan, et autres
Publié: (2024)

Quokka#: Quantum Computing with #SAT
par: Mei, Jingyi, et autres
Publié: (2026)

Exact quantum decision diagrams with scaling guarantees for Clifford+$T$ circuits and beyond
par: Quist, Arend-Jan, et autres
Publié: (2026)

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
par: Huang, Wei-Jia, et autres
Publié: (2026)

From Tensor Networks to Tractable Circuits, and back
par: Quist, Arend-Jan, et autres
Publié: (2026)

Quantum Physics using Weighted Model Counting
par: Ende, Dirck van den, et autres
Publié: (2025)

The Compilability Thresholds of 2-CNF to OBDD
par: de Colnet, Alexis, et autres
Publié: (2026)

Compact Parallel Hash Tables on the GPU
par: Hegeman, Steef, et autres
Publié: (2024)

Scoring-based Static Variable Ordering for Decision Diagram-based Quantum Circuit Simulation
par: Kimura, Yusuke, et autres
Publié: (2025)

Joint Cutting for Hybrid Schrödinger-Feynman Simulation of Quantum Circuits
par: Herzog, Laura S., et autres
Publié: (2025)

Predicting Good Quantum Circuit Compilation Options
par: Quetschlich, Nils, et autres
Publié: (2022)

Qubit Reuse Beyond Reorder and Reset: Optimizing Quantum Circuits by Fully Utilizing the Potential of Dynamic Circuits
par: Rovara, Damian, et autres
Publié: (2025)

A Rigorous Quantum Framework for Inequality-Constrained and Multi-Objective Binary Optimization
par: Egginger, Sebastian, et autres
Publié: (2025)

Minimizing the Number of Code Switching Operations in Fault-Tolerant Quantum Circuits
par: Weilandt, Erik, et autres
Publié: (2025)

Improving Figures of Merit for Quantum Circuit Compilation
par: Hopf, Patrick, et autres
Publié: (2025)

Improving Figures of Merit for Quantum Circuit Compilation
par: Hopf, Patrick, et autres
Publié: (2025)

A Rigorous Quantum Framework for Inequality-Constrained and Multi-Objective Binary Optimization: Quadratic Cost Functions and Empirical Evaluations
par: Egginger, Sebastian, et autres
Publié: (2025)

Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level
par: Quetschlich, Nils, et autres
Publié: (2023)

MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing
par: Quetschlich, Nils, et autres
Publié: (2023)

Synthesis and Optimization of Encoding Circuits for Fault-Tolerant Quantum Computation
par: Peham, Tom, et autres
Publié: (2026)

Quantum Circuit Optimization for the Fault-Tolerance Era: Do We Have to Start from Scratch?
par: Forster, Tobias, et autres
Publié: (2025)