:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Vinkhuijzen, Lieuwe, Grurl, Thomas, Hillmich, Stefan, Brand, Sebastiaan, Wille, Robert, Laarman, Alfons
Formato:	Recurso digital
Lenguaje:	inglés
Publicado:	Zenodo 2025
Acceso en línea:	https://doi.org/10.5281/zenodo.17190634
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Knowledge Compilation Map for Quantum Information
por: Vinkhuijzen, Lieuwe, et al.
Publicado: (2024)

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing
por: Brand, Sebastiaan, et al.
Publicado: (2025)

Quantum Graph-State Synthesis with SAT
por: Brand, Sebastiaan, et al.
Publicado: (2023)

Simulating Quantum Circuits by Model Counting
por: Mei, Jingyi, et al.
Publicado: (2024)

GPU-Accelerated Quantum Simulation of Stabilizer Circuits
por: Osama, Muhammad, et al.
Publicado: (2026)

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

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

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

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

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

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

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

Uniformity within Parameterized Circuit Classes
por: Hegeman, Steef, et al.
Publicado: (2025)

Reducing Quantum Circuit Synthesis to #SAT
por: Zak, Dekel, et al.
Publicado: (2025)

Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation
por: de Colnet, Alexis, et al.
Publicado: (2026)

Quantum Algorithms for Magic Square Diophantine Equations
por: Thanos, Dimitrios, et al.
Publicado: (2026)

Trade-offs between classical and quantum space using spooky pebbling
por: Quist, Arend-Jan, et al.
Publicado: (2024)

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

Enriching Diagrams with Algebraic Operations
por: Villoria, Alejandro, et al.
Publicado: (2023)

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

Quokka#: Quantum Computing with #SAT
por: Mei, Jingyi, et al.
Publicado: (2026)

Exact quantum decision diagrams with scaling guarantees for Clifford+$T$ circuits and beyond
por: Quist, Arend-Jan, et al.
Publicado: (2026)

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

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

Quantum Physics using Weighted Model Counting
por: Ende, Dirck van den, et al.
Publicado: (2025)

The Compilability Thresholds of 2-CNF to OBDD
por: de Colnet, Alexis, et al.
Publicado: (2026)

Compact Parallel Hash Tables on the GPU
por: Hegeman, Steef, et al.
Publicado: (2024)

Scoring-based Static Variable Ordering for Decision Diagram-based Quantum Circuit Simulation
por: Kimura, Yusuke, et al.
Publicado: (2025)

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

Predicting Good Quantum Circuit Compilation Options
por: Quetschlich, Nils, et al.
Publicado: (2022)

Qubit Reuse Beyond Reorder and Reset: Optimizing Quantum Circuits by Fully Utilizing the Potential of Dynamic Circuits
por: Rovara, Damian, et al.
Publicado: (2025)

A Rigorous Quantum Framework for Inequality-Constrained and Multi-Objective Binary Optimization
por: Egginger, Sebastian, et al.
Publicado: (2025)

Minimizing the Number of Code Switching Operations in Fault-Tolerant Quantum Circuits
por: Weilandt, Erik, et al.
Publicado: (2025)

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

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

A Rigorous Quantum Framework for Inequality-Constrained and Multi-Objective Binary Optimization: Quadratic Cost Functions and Empirical Evaluations
por: Egginger, Sebastian, et al.
Publicado: (2025)

Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level
por: Quetschlich, Nils, et al.
Publicado: (2023)

MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing
por: Quetschlich, Nils, et al.
Publicado: (2023)

Synthesis and Optimization of Encoding Circuits for Fault-Tolerant Quantum Computation
por: Peham, Tom, et al.
Publicado: (2026)

Quantum Circuit Optimization for the Fault-Tolerance Era: Do We Have to Start from Scratch?
por: Forster, Tobias, et al.
Publicado: (2025)