:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zak, Dekel, Mei, Jingyi, Lagniez, Jean-Marie, Laarman, Alfons
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics
Online Access:	https://arxiv.org/abs/2508.00416
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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)

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

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

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

GPU-Accelerated Quantum Simulation of Stabilizer Circuits
by: Osama, Muhammad, 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)

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

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

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

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)

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

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

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

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

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

Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
by: Bartal, Uriya, et al.
Published: (2026)

A SAT Encoding for Optimal Clifford Circuit Synthesis
by: Schneider, Sarah, et al.
Published: (2022)

Q3SAT-GPT: A Generative Model for Discovering Quantum Circuits for the 3-SAT Problem
by: Ugale, Pratim, et al.
Published: (2026)

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

Depth-Optimal Quantum Layout Synthesis as SAT
by: Jakobsen, Anna B., et al.
Published: (2025)

Uniformity within Parameterized Circuit Classes
by: Hegeman, Steef, et al.
Published: (2025)

Discretized Quantum Exhaustive Search for Variational Quantum Algorithms
by: Alfassi, Ittay, et al.
Published: (2024)

PANSATZ: Pulse-based Ansatz for Variational Quantum Algorithms
by: Meirom, Dekel, et al.
Published: (2022)

Quantum Circuit Pre-Synthesis: Learning Local Edits to Reduce $T$-count
by: Bosco, Daniele Lizzio, et al.
Published: (2026)

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

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

Batching Circuits to Reduce Compilation in Quantum Control Hardware
by: Burch, Ashlyn D., et al.
Published: (2022)

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

CNOT-Optimal Clifford Synthesis as SAT
by: Shaik, Irfansha, et al.
Published: (2025)

NEQRX: Efficient Quantum Image Encryption with Reduced Circuit Complexity
by: Saini, Rakesh, et al.
Published: (2022)

Randomly Compiled Quantum Simulation with Exponentially Reduced Circuit Depths
by: Watson, James D.
Published: (2024)

Quantum algorithm for solving generalized eigenvalue problems with application to the Schrödinger equation
by: Rajchel-Mieldzioć, Grzegorz, et al.
Published: (2025)

Quantum Approximate Optimisation for Not-All-Equal SAT
by: El-Kadi, Andrew, et al.
Published: (2024)

Quantum Circuit Synthesis Using an Exact T Library
by: Wang, Hanyu, et al.
Published: (2026)

Approximate Quantum Circuit Synthesis for Diagonal Unitary
by: Zhang, Wenqi, et al.
Published: (2024)

Reducing Circuit Depth in Quantum State Preparation for Quantum Simulation Using Measurements and Feedforward
by: Yeo, Hyeonjun, et al.
Published: (2025)

Reducing Quantum Error Mitigation Bias Using Verifiable Benchmark Circuits
by: Harris, Joseph, et al.
Published: (2026)