Image de couverture de livre

Reducing Quantum Circuit Synthesis to #SAT

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Zak, Dekel, Mei, Jingyi, Lagniez, Jean-Marie, Laarman, Alfons
Format:	Preprint
Publié:	2025
Sujets:	Quantum Physics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Quokka#: Quantum Computing with #SAT
par: Mei, Jingyi, et autres
Publié: (2026)

Simulating Quantum Circuits by Model Counting
par: Mei, Jingyi, et autres
Publié: (2024)

Equivalence Checking of Quantum Circuits by Model Counting
par: Mei, Jingyi, et autres
Publié: (2024)

Quantum Graph-State Synthesis with SAT
par: Brand, Sebastiaan, et autres
Publié: (2023)

Optimization and Synthesis of Quantum Circuits with Global Gates
par: Villoria, Alejandro, et autres
Publié: (2025)

GPU-Accelerated Quantum Simulation of Stabilizer Circuits
par: Osama, Muhammad, et autres
Publié: (2026)

Advancing Quantum Computing with Formal Methods
par: Quist, Arend-Jan, et autres
Publié: (2024)

Q-Sylvan: A Parallel Decision Diagram Package for Quantum Computing
par: Brand, Sebastiaan, et autres
Publié: (2025)

Search-Driven Clause Learning for Product-State Quantum $k$-SAT (PRODSAT-QSAT)
par: González-Castillo, Samuel, et autres
Publié: (2026)

Quantum Algorithms for Magic Square Diophantine Equations
par: Thanos, Dimitrios, et autres
Publié: (2026)

Trade-offs between classical and quantum space using spooky pebbling
par: Quist, Arend-Jan, et autres
Publié: (2024)

Exact quantum decision diagrams with scaling guarantees for Clifford+$T$ circuits and beyond
par: Quist, Arend-Jan, et autres
Publié: (2026)

A Knowledge Compilation Map for Quantum Information
par: Vinkhuijzen, Lieuwe, et autres
Publié: (2024)

Enriching Diagrams with Algebraic Operations
par: Villoria, Alejandro, et autres
Publié: (2023)

Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation
par: de Colnet, Alexis, et autres
Publié: (2026)

Optimization and Synthesis of Quantum Circuits with Global Gates
par: Villoria Gonzalez, Alejandro, et autres
Publié: (2025)

From Tensor Networks to Tractable Circuits, and back
par: Quist, Arend-Jan, et autres
Publié: (2026)

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

Q3SAT-GPT: A Generative Model for Discovering Quantum Circuits for the 3-SAT Problem
par: Ugale, Pratim, et autres
Publié: (2026)

Quantum Physics using Weighted Model Counting
par: Ende, Dirck van den, et autres
Publié: (2025)

Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
par: Bartal, Uriya, et autres
Publié: (2026)

Depth-Optimal Quantum Layout Synthesis as SAT
par: Jakobsen, Anna B., et autres
Publié: (2025)

Discretized Quantum Exhaustive Search for Variational Quantum Algorithms
par: Alfassi, Ittay, et autres
Publié: (2024)

PANSATZ: Pulse-based Ansatz for Variational Quantum Algorithms
par: Meirom, Dekel, et autres
Publié: (2022)

Quantum Circuit Pre-Synthesis: Learning Local Edits to Reduce $T$-count
par: Bosco, Daniele Lizzio, et autres
Publié: (2026)

Batching Circuits to Reduce Compilation in Quantum Control Hardware
par: Burch, Ashlyn D., et autres
Publié: (2022)

Numerical Errors in Quantitative System Analysis With Decision Diagrams
par: Brand, Sebastiaan, et autres
Publié: (2025)

Quantangle-SAT: A Quantum SAT Solver Based on Entanglement and Equivalence Checking
par: Lin, Shang-Wei, et autres
Publié: (2026)

Fault-tolerant quantum simulation of the Pauli-Breit Hamiltonian for ab initio hybrid quantum-classical molecular design with applications to photodynamic therapy
par: Zak, Emil
Publié: (2026)

NEQRX: Efficient Quantum Image Encryption with Reduced Circuit Complexity
par: Saini, Rakesh, et autres
Publié: (2022)

Randomly Compiled Quantum Simulation with Exponentially Reduced Circuit Depths
par: Watson, James D.
Publié: (2024)

Uniformity within Parameterized Circuit Classes
par: Hegeman, Steef, et autres
Publié: (2025)

Quantum Circuit Synthesis Using an Exact T Library
par: Wang, Hanyu, et autres
Publié: (2026)

Approximate Quantum Circuit Synthesis for Diagonal Unitary
par: Zhang, Wenqi, et autres
Publié: (2024)

CNOT-Optimal Clifford Synthesis as SAT
par: Shaik, Irfansha, et autres
Publié: (2025)

Quantum Approximate Optimisation for Not-All-Equal SAT
par: El-Kadi, Andrew, et autres
Publié: (2024)

Reducing Circuit Depth in Quantum State Preparation for Quantum Simulation Using Measurements and Feedforward
par: Yeo, Hyeonjun, et autres
Publié: (2025)

Reducing Quantum Error Mitigation Bias Using Verifiable Benchmark Circuits
par: Harris, Joseph, et autres
Publié: (2026)

Quantum algorithm for solving generalized eigenvalue problems with application to the Schrödinger equation
par: Rajchel-Mieldzioć, Grzegorz, et autres
Publié: (2025)

Error-Tolerant Quantum State Discrimination: Optimization and Quantum Circuit Synthesis
par: Ma, Chien-Kai, et autres
Publié: (2026)