Copertina

A SAT Encoding for Optimal Clifford Circuit Synthesis

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Schneider, Sarah, Burgholzer, Lukas, Wille, Robert
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Quantum Physics Emerging Technologies
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Predicting Good Quantum Circuit Compilation Options
di: Quetschlich, Nils, et al.
Pubblicazione: (2022)

Search Smarter, Not Harder: A Scalable, High-Quality Zoned Neutral Atom Compiler
di: Stade, Yannick, et al.
Pubblicazione: (2025)

Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers
di: Stade, Yannick, et al.
Pubblicazione: (2024)

Towards an Automated Framework for Realizing Quantum Computing Solutions
di: Quetschlich, Nils, et al.
Pubblicazione: (2022)

Towards Supporting QIR: Steps for Adopting the Quantum Intermediate Representation
di: Stade, Yannick, et al.
Pubblicazione: (2024)

Equivalence checking of quantum circuits via intermediary matrix product operator
di: Sander, Aaron, et al.
Pubblicazione: (2024)

Synthesis and Optimization of Encoding Circuits for Fault-Tolerant Quantum Computation
di: Peham, Tom, et al.
Pubblicazione: (2026)

An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures
di: Stade, Yannick, et al.
Pubblicazione: (2024)

Compiler Optimization for Quantum Computing Using Reinforcement Learning
di: Quetschlich, Nils, et al.
Pubblicazione: (2022)

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

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

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

Automatic De-Quantization of Quantum Programs Using Constant Propagation
di: Remme, Lian, et al.
Pubblicazione: (2026)

MQT Qudits: A Software Framework for Mixed-Dimensional Quantum Computing
di: Mato, Kevin, et al.
Pubblicazione: (2024)

Automated Synthesis of Fault-Tolerant State Preparation Circuits for Quantum Error Correction Codes
di: Peham, Tom, et al.
Pubblicazione: (2024)

Performance Gains in Quantum SAT Solvers Using ESOP Encoding
di: Assaad, Majd, et al.
Pubblicazione: (2026)

Practical HPCQC Integration with QDMI: A Real-Hardware Case Study with IQM Systems
di: Burgholzer, Lukas, et al.
Pubblicazione: (2026)

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

QuCLEAR: Clifford Extraction and Absorption for Quantum Circuit Optimization
di: Liu, Ji, et al.
Pubblicazione: (2024)

The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
di: Wille, Robert, et al.
Pubblicazione: (2024)

Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware
di: Staudacher, Korbinian, et al.
Pubblicazione: (2024)

A Framework for the Design and Realization of Alternative Superconducting Quantum Architectures
di: Kunasaikaran, Jagatheesan, et al.
Pubblicazione: (2023)

Optimizing Fault-tolerant Cat State Preparation
di: Peham, Tom, et al.
Pubblicazione: (2026)

Fermihedral: On the Optimal Compilation for Fermion-to-Qubit Encoding
di: Liu, Yuhao, et al.
Pubblicazione: (2024)

Optimised Fermion-Qubit Encodings for Quantum Simulation with Reduced Transpiled Circuit Depth
di: de la Bastida, Michael Williams, et al.
Pubblicazione: (2025)

A SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code Fault-Tolerant Quantum Computing
di: Tan, Daniel Bochen, et al.
Pubblicazione: (2024)

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

Lattice Surgery Compilation Beyond the Surface Code
di: Herzog, Laura S., et al.
Pubblicazione: (2025)

Exploiting Movable Logical Qubits for Lattice Surgery Compilation
di: Herzog, Laura S., et al.
Pubblicazione: (2025)

A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem
di: Volpe, Deborah, et al.
Pubblicazione: (2024)

Routing-Aware Placement for Zoned Neutral Atom-based Quantum Computing
di: Stade, Yannick, et al.
Pubblicazione: (2025)

Clifford Assisted Optimal Pass Selection for Quantum Transpilation
di: Dangwal, Siddharth, et al.
Pubblicazione: (2023)

Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers
di: Volpe, Deborah, et al.
Pubblicazione: (2024)

Optimal Compilation of Syndrome Extraction Circuits for General Quantum LDPC Codes
di: Zhang, Kai, et al.
Pubblicazione: (2026)

Using an Evolutionary Algorithm to Create (MAX)-3SAT QUBOs
di: Zielinski, Sebastian, et al.
Pubblicazione: (2024)

Data Encoding for VQC in Qiskit, A Comparison With Novel Hybrid Encoding
di: Biswas, Hillol
Pubblicazione: (2025)

qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
di: Kole, Abhoy, et al.
Pubblicazione: (2024)

Circuit Partitioning and Full Circuit Execution: A Comparative Study of GPU-Based Quantum Circuit Simulation
di: Sarode, Kartikey, et al.
Pubblicazione: (2025)

Adaptive Clifford+T Decomposition of Large Toffoli Gates with One Clean Ancilla
di: Kole, Abhoy, et al.
Pubblicazione: (2026)

Is Circuit Depth Accurate for Comparing Quantum Circuit Runtimes?
di: Tremba, Matthew, et al.
Pubblicazione: (2025)