:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Quist, Arend-Jan, Coopmans, Tim, Laarman, Alfons
Format:	Preprint
Published:	2026
Subjects:	Quantum Physics
Online Access:	https://arxiv.org/abs/2602.17775
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Extended quantum circuit diagrams
by: Schober, William
Published: (2024)

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

In-situ benchmarking of fault-tolerant quantum circuits. I. Clifford circuits
by: Xiao, Xiao, et al.
Published: (2026)

On noise in swap ASAP repeater chains: exact analytics, distributions and tight approximations
by: Goodenough, Kenneth, et al.
Published: (2024)

Aging and Reliability of Quantum Networks
by: Weinbrenner, Lisa T., et al.
Published: (2023)

Classical simulability of Clifford+T circuits with Clifford-augmented matrix product states
by: Liu, Zejun, et al.
Published: (2024)

Error correction with brickwork Clifford circuits
by: Kroll, Twan, et al.
Published: (2026)

Disentangling critical quantum spin chains with Clifford circuits
by: Fan, Chaohui, et al.
Published: (2024)

Clifford circuits over non-cyclic abelian groups
by: Moses, Milo, et al.
Published: (2024)

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

Complexity of graph-state preparation by Clifford circuits
by: Kumabe, Soh, et al.
Published: (2024)

Benchmarking the ability of a controller to execute quantum error corrected non-Clifford circuits
by: Kurman, Yaniv, et al.
Published: (2023)

Fast simulation of planar Clifford circuits
by: Gosset, David, et al.
Published: (2020)

Quantum Data Management in the NISQ Era: Extended Version
by: Hai, Rihan, et al.
Published: (2024)

Optimising entanglement distribution policies under classical communication constraints assisted by reinforcement learning
by: Li, Jan, et al.
Published: (2024)

On the Sample Complexity of Quantum Boltzmann Machine Learning
by: Coopmans, Luuk, et al.
Published: (2023)

Backpropagation scaling in parameterised quantum circuits
by: Bowles, Joseph, et al.
Published: (2023)

Variational decision diagrams for quantum-inspired machine learning applications
by: Vargas-Calderón, Vladimir, et al.
Published: (2025)

Towards chemical accuracy with shallow quantum circuits: A Clifford-based Hamiltonian engineering approach
by: Sun, Jiace, et al.
Published: (2023)

Exact Synthesis of Multiqutrit Clifford-Cyclotomic Circuits
by: Glaudell, Andrew N., et al.
Published: (2024)

Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits
by: Amy, Matthew, et al.
Published: (2023)

Symmetry-accelerated classical simulation of Clifford-dominated circuits
by: Camillo, Giulio, et al.
Published: (2025)

Hardware-tailored logical Clifford circuits for stabilizer codes
by: Kuehnke, Eric J., et al.
Published: (2025)

Efficient simulation of Clifford circuits with small Markovian errors
by: Miller, Ashe, et al.
Published: (2025)

Low-cost noise reduction for Clifford circuits
by: Delfosse, Nicolas, et al.
Published: (2024)