Image de couverture de livre

Towards Equivalence Checking of Classical Circuits Using Quantum Computing

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Quetschlich, Nils, Forster, Tobias, Osterwind, Adrian, Helms, Domenik, Wille, Robert
Format:	Preprint
Publié:	2024
Sujets:	Quantum Physics Emerging Technologies
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Towards an Automated Framework for Realizing Quantum Computing Solutions
par: Quetschlich, Nils, et autres
Publié: (2022)

Predicting Good Quantum Circuit Compilation Options
par: Quetschlich, Nils, et autres
Publié: (2022)

Compiler Optimization for Quantum Computing Using Reinforcement Learning
par: Quetschlich, Nils, et autres
Publié: (2022)

Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers
par: Volpe, Deborah, et autres
Publié: (2024)

A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem
par: Volpe, Deborah, et autres
Publié: (2024)

The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
par: Wille, Robert, et autres
Publié: (2024)

Synthesis and Optimization of Encoding Circuits for Fault-Tolerant Quantum Computation
par: Peham, Tom, et autres
Publié: (2026)

Equivalence checking of quantum circuits via intermediary matrix product operator
par: Sander, Aaron, et autres
Publié: (2024)

Towards Supporting QIR: Steps for Adopting the Quantum Intermediate Representation
par: Stade, Yannick, et autres
Publié: (2024)

A SAT Encoding for Optimal Clifford Circuit Synthesis
par: Schneider, Sarah, et autres
Publié: (2022)

Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes
par: Peham, Tom, et autres
Publié: (2024)

Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers
par: Stade, Yannick, et autres
Publié: (2024)

Forward and Backward Constrained Bisimulations for Quantum Circuits using Decision Diagrams
par: Burgholzer, Lukas, et autres
Publié: (2023)

Routing-Aware Placement for Zoned Neutral Atom-based Quantum Computing
par: Stade, Yannick, et autres
Publié: (2025)

qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
par: Kole, Abhoy, et autres
Publié: (2024)

Automatic De-Quantization of Quantum Programs Using Constant Propagation
par: Remme, Lian, et autres
Publié: (2026)

A Framework for the Design and Realization of Alternative Superconducting Quantum Architectures
par: Kunasaikaran, Jagatheesan, et autres
Publié: (2023)

Quantum Circuit Optimization for the Fault-Tolerance Era: Do We Have to Start from Scratch?
par: Forster, Tobias, et autres
Publié: (2025)

Dependable Classical-Quantum Computer Systems Engineering
par: Giusto, Edoardo, et autres
Publié: (2024)

Node Replacement based Approximate Quantum Simulation with Decision Diagrams
par: Yan, Yexin, et autres
Publié: (2025)

Stripping Quantum Decision Diagrams of their Identity
par: Sander, Aaron, et autres
Publié: (2024)

Exhaustive Search for Quantum Circuit Optimization using ZX Calculus
par: Fischbach, Tobias, et autres
Publié: (2025)

A Review on Quantum Circuit Optimization using ZX-Calculus
par: Fischbach, Tobias, et autres
Publié: (2025)

Computational Capabilities and Compiler Development for Neutral Atom Quantum Processors: Connecting Tool Developers and Hardware Experts
par: Schmid, Ludwig, et autres
Publié: (2023)

QRCC: Evaluating Large Quantum Circuits on Small Quantum Computers through Integrated Qubit Reuse and Circuit Cutting
par: Pawar, Aditya, et autres
Publié: (2023)

Towards Classical Software Verification using Quantum Computers
par: Issel, Sebastian, et autres
Publié: (2024)

On the Theory of Quantum and Towards Practical Computation
par: Kudelić, Robert
Publié: (2024)

Distributed Quantum Computation with Minimum Circuit Execution Time over Quantum Networks
par: Sundaram, Ranjani G, et autres
Publié: (2024)

Multifractality Analysis of Single Qubit Quantum Circuit Outcomes for a Superconducting Quantum Computer
par: Saghafi, Mohammadreza, et autres
Publié: (2025)

Accelerating Simulation of Quantum Circuits under Noise via Computational Reuse
par: Wang, Meng, et autres
Publié: (2022)

Optimizing Fault-tolerant Cat State Preparation
par: Peham, Tom, et autres
Publié: (2026)

Search Smarter, Not Harder: A Scalable, High-Quality Zoned Neutral Atom Compiler
par: Stade, Yannick, et autres
Publié: (2025)

Quantum Error Mitigation by Pauli Check Sandwiching
par: Gonzales, Alvin, et autres
Publié: (2022)

MQT Qudits: A Software Framework for Mixed-Dimensional Quantum Computing
par: Mato, Kevin, et autres
Publié: (2024)

Quantum Circuit Mapping for Universal and Scalable Computing in MZI-based Integrated Photonics
par: Kwon, Yong, et autres
Publié: (2024)

Efficient Quantum Circuit Design with a Standard Cell Approach, with an Application to Neutral Atom Quantum Computers
par: Dobbs, Evan E., et autres
Publié: (2022)

Is Circuit Depth Accurate for Comparing Quantum Circuit Runtimes?
par: Tremba, Matthew, et autres
Publié: (2025)

Tailored Quantum Device Calibration with Statistical Model Checking
par: Mazurek, Filip, et autres
Publié: (2025)

Explore Simpler Eigenmarking: Quantum Entailment Model Checking
par: Katanyukul, Tatpong
Publié: (2026)

Efficient Classical Processing of Constant-Depth Time Evolution Circuits in Control Hardware
par: Francis, Akhil, et autres
Publié: (2025)