Image de couverture de livre

Optimization and Synthesis of Quantum Circuits with Global Gates

Fuente: Zenodo

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Villoria Gonzalez, Alejandro, Basold, Henning, Laarman, Alfons
Format:	Recurso digital
Publié:	Zenodo 2025
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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

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

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

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)

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

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)

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

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

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

Efficient Implementation of LIMDDs for Quantum Circuit Simulation and Verification
par: Vinkhuijzen, Lieuwe, et autres
Publié: (2025)

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

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

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

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)

An Expressive Coalgebraic Modal Logic for Cellular Automata
par: Basold, Henning, et autres
Publié: (2025)

Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication
par: Basold, Henning, et autres
Publié: (2023)

The Directed Van Kampen Theorem in Lean
par: Basold, Henning, et autres
Publié: (2023)

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)

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)

Separation Logic of Generic Resources via Sheafeology
par: van Starkenburg, Berend, et autres
Publié: (2025)

Central Limits via Dilated Categories
par: Basold, Henning, et autres
Publié: (2026)

Gate Optimization of NEQR Quantum Circuits via PPRM Transformation
par: Iranmanesh, Shahab, et autres
Publié: (2024)

Global Optimization for Parametrized Quantum Circuits
par: Sakos, Iosif, et autres
Publié: (2026)

Automatic Depth-Optimized Quantum Circuit Synthesis for Diagonal Unitary Matrices with Asymptotically Optimal Gate Count
par: Zhang, Shihao, et autres
Publié: (2022)

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

A Lazy Resynthesis Approach for Simultaneous T Gate and Two-Qubit Gate Optimization of Quantum Circuits
par: Lau, Mu-Te, et autres
Publié: (2025)

Gate Sequence Optimization for Parameterized Quantum Circuits using Reinforcement Learning
par: Rieckmann, Tom R., et autres
Publié: (2025)

Quantifying Gate Contribution in Quantum Feature Maps for Scalable Circuit Optimization
par: Rodríguez-Díaz, F., et autres
Publié: (2026)

Quantum Circuit Repair by Gate Prioritisation
par: Usandizaga, Eñaut Mendiluze, et autres
Publié: (2026)

Gate Freezing Method for Gradient-Free Variational Quantum Algorithms in Circuit Optimization
par: Pankkonen, Joona, et autres
Publié: (2025)

Conflictos de valores, límites cognitivos y malas prácticas organizativas como riesgos para la utilidad de los códigos éticos en la Administración pública
par: Manuel Villoria
Publié: (2024)

Los modelos de gobierno electrónico y sus fases de desarrollo: Un análisis desde la teoría política
par: Manuel Villoria
Publié: (2013)

La infraestructura burocrática importa: el caso de la lucha contra el crimen organizado en México
par: Manuel Villoria
Publié: (2010)