:: Library Catalog

Saved in:

Bibliographic Details
Main Authors:	Brand, Sebastiaan, Laarman, Alfons
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics
Online Access:	https://arxiv.org/abs/2508.00514
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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)

Optimization and Synthesis of Quantum Circuits with Global Gates
by: Villoria, Alejandro, 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)

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

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

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

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

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

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

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

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

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

Efficient Implementation of LIMDDs for Quantum Circuit Simulation and Verification
by: Vinkhuijzen, Lieuwe, et al.
Published: (2025)

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

Stripping Quantum Decision Diagrams of their Identity
by: Sander, Aaron, et al.
Published: (2024)

Quantum State Preparation via Free Binary Decision Diagram
by: Tanaka, Yu, et al.
Published: (2024)

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

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

A Tensor Network based Decision Diagram for Representation of Quantum Circuits
by: Hong, Xin, et al.
Published: (2020)

String Diagrams for Quantum Foundations, Computing and Natural Language Processing
by: Waseem, Muhammad Hamza
Published: (2026)

FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams
by: Wang, Ziyuan, et al.
Published: (2025)

Breaking the Treewidth Barrier in Quantum Circuit Simulation with Decision Diagrams
by: Cheng, Bin, et al.
Published: (2025)

Quantum Circuit Simulation with Fast Tensor Decision Diagram
by: Zhang, Qirui, et al.
Published: (2024)

Reordering Method and Hierarchies for Quantum and Classical Ordered Binary Decision Diagrams
by: Khadiev, Kamil, et al.
Published: (2017)

Forward and Backward Constrained Bisimulations for Quantum Circuits using Decision Diagrams
by: Burgholzer, Lukas, et al.
Published: (2023)

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

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

MAFFT-inspired Quantum Shift-based Sequence Alignment and its Efficient Simulation on Decision Diagrams
by: Kimura, Yusuke, et al.
Published: (2026)

Packaged Quantum States for Gauge-Invariant Quantum Computation and Communication
by: Ma, Rongchao
Published: (2025)

Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps
by: Hong, Xin, et al.
Published: (2025)

Quantum Algorithm for Finding the Optimal Variable Ordering for Binary Decision Diagrams
by: Tani, Seiichiro
Published: (2019)

Quantum Spectral Clustering: Comparing Parameterized and Neuromorphic Quantum Kernels
by: Slabbert, Donovan, et al.
Published: (2025)

Parallel Quantum Computing Simulations via Quantum Accelerator Platform Virtualization
by: Claudino, Daniel, et al.
Published: (2024)

Towards Hamiltonian Simulation with Decision Diagrams
by: Sander, Aaron, et al.
Published: (2023)

Benchmarking Quantum Computer Simulation Software Packages: State Vector Simulators
by: Jamadagni, Amit, et al.
Published: (2024)

Parallel Driving for Fast Quantum Computing Under Speed Limits
by: McKinney, Evan, et al.
Published: (2023)