Cover Image

Equivalence Checking of Quantum Circuits by Model Counting

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mei, Jingyi, Coopmans, Tim, Bonsangue, Marcello, Laarman, Alfons
Format:	Preprint
Published:	2024
Subjects:	Quantum Physics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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)

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

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

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)

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

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

Equivalence Checking of Parameterised Quantum Circuits
by: Hong, Xin, et al.
Published: (2024)

Partial Equivalence Checking of Quantum Circuits
by: Chen, Tian-Fu, et al.
Published: (2022)

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

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

Manjushri: A Tool for Equivalence Checking of Quantum Circuits
by: Trinh, Xuan Du, et al.
Published: (2026)

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

Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits
by: Huang, Mingyu, et al.
Published: (2025)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
by: Yu, Nengkun, et al.
Published: (2025)

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

Towards Equivalence Checking of Classical Circuits Using Quantum Computing
by: Quetschlich, Nils, et al.
Published: (2024)

Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits
by: Ricciardi, Jérome, et al.
Published: (2025)

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

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

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

Training Quantum Boltzmann Machines with the $β$-Variational Quantum Eigensolver
by: Huijgen, Onno, et al.
Published: (2023)

Model Checking Quantum Continuous-Time Markov Chains
by: Xu, Ming, et al.
Published: (2021)

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

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

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

Quixer: A Quantum Transformer Model
by: Khatri, Nikhil, et al.
Published: (2024)

Quantum Indistinguishable Obfuscation via Quantum Circuit Equivalence
by: Zhang, Yuanjing, et al.
Published: (2024)

Merging-Based Quantum Repeater
by: Mor-Ruiz, Maria Flors, et al.
Published: (2025)

Cutoff Theorems for the Equivalence of Parameterized Quantum Circuits (Extended)
by: Ross, Neil J., et al.
Published: (2025)

Quantangle-SAT: A Quantum SAT Solver Based on Entanglement and Equivalence Checking
by: Lin, Shang-Wei, et al.
Published: (2026)

Connecting Quantum Cities: Simulation of a Satellite-Based Quantum Network
by: Yehia, Raja, et al.
Published: (2023)

Equivalence, Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs
by: Long, Peixun, et al.
Published: (2023)

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

Measuring Correlation and Entanglement between Molecular Orbitals on a Trapped-Ion Quantum Computer
by: Greene-Diniz, Gabriel, et al.
Published: (2024)