Imagen de Portada

Quokka#: Quantum Computing with #SAT

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Mei, Jingyi, Zak, Dekel, Osama, Muhammad, Coopmans, Tim, Laarman, Alfons
Formato:	Preprint
Publicado:	2026
Materias:	Quantum Physics
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

Equivalence Checking of Quantum Circuits by Model Counting
por: Mei, Jingyi, et al.
Publicado: (2024)

A Knowledge Compilation Map for Quantum Information
por: Vinkhuijzen, Lieuwe, et al.
Publicado: (2024)

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

GPU-Accelerated Quantum Simulation of Stabilizer Circuits
por: Osama, Muhammad, et al.
Publicado: (2026)

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

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

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

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

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

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

Enriching Diagrams with Algebraic Operations
por: Villoria, Alejandro, et al.
Publicado: (2023)

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

A Review of Quantum Scientific Computing Algorithms for Engineering Problems
por: Raisuddin, Osama Muhammad, et al.
Publicado: (2024)

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

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

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

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

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

Quixer: A Quantum Transformer Model
por: Khatri, Nikhil, et al.
Publicado: (2024)

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

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

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

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

Quantum-Assisted Vehicle Routing: Realizing QAOA-based Approach on Gate-Based Quantum Computer
por: Azfar, Talha, et al.
Publicado: (2025)

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

Quantum Multigrid Algorithm for Finite Element Problems
por: Raisuddin, Osama Muhammad, et al.
Publicado: (2024)

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

Sector length distributions of recursively definable graph states through analytic combinatorics
por: Vallée, Eloïc, et al.
Publicado: (2026)

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

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

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

Rational Quantum Mechanics: Testing Quantum Theory with Quantum Computers
por: Palmer, Tim
Publicado: (2025)

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

Optimising entanglement distribution policies under classical communication constraints assisted by reinforcement learning
por: Li, Jan, et al.
Publicado: (2024)

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

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

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