Quantum Graph-State Synthesis with SAT

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Brand, Sebastiaan, Coopmans, Tim, Laarman, Alfons
Format:	Preprint
Published:	2023
Subjects:	Quantum Physics Data Structures and Algorithms
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Compact Parallel Hash Tables on the GPU
by: Hegeman, Steef, et al.
Published: (2024)

Assessing fault-tolerant quantum advantage for $k$-SAT with structure
by: Brehm, Martijn, et al.
Published: (2024)

Quantum Circuit for Quantum Fourier Transform for Arbitrary Qubit Connectivity Graphs
by: Khadiev, Kamil, et al.
Published: (2025)

Parameterized Quantum Query Algorithms for Graph Problems
by: Terao, Tatsuya, et al.
Published: (2024)

Exponential Quantum Advantage for Pathfinding in Regular Sunflower Graphs
by: Li, Jianqiang, et al.
Published: (2024)

Quantum State Preparation Based on LimTDD
by: Hong, Xin, et al.
Published: (2025)

Circuits of Quantum Hashing and Quantum Fourier Transform for a Cactus as a Qubit Connectivity Graph
by: Khadiev, Kamil, et al.
Published: (2026)

Scalable Experimental Bounds for Entangled Quantum State Fidelities
by: Aktar, Shamminuj, et al.
Published: (2022)

Sample-Efficient Estimation of Nonlinear Quantum State Functions
by: Yao, Hongshun, et al.
Published: (2024)

Optimal Quantum State Testing Even with Limited Entanglement
by: Wadhwa, Chirag, et al.
Published: (2026)

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

Deterministic Search on Complete Bipartite Graphs by Continuous Time Quantum Walk
by: Lin, Honghong, et al.
Published: (2024)

Few Single-Qubit Measurements Suffice to Certify Any Quantum State
by: Gupta, Meghal, et al.
Published: (2025)

An Optimal Product-State Approximation for 2-Local Quantum Hamiltonians with Positive Terms
by: Parekh, Ojas, et al.
Published: (2022)

Advancing Quantum State Preparation Using Decision Diagram with Local Invertible Maps
by: Hong, Xin, et al.
Published: (2025)

Quokka#: Quantum Computing with #SAT
by: Mei, Jingyi, et al.
Published: (2026)

Tolerant Testing of Stabilizer States with Mixed State Inputs
by: Iyer, Vishnu, et al.
Published: (2024)

Sharp Bounds on the Eigenvalues of Kikuchi Graphs and Applications to Quantum Max Cut
by: Bakshi, Ainesh, et al.
Published: (2026)

High-Temperature Fermionic Gibbs States are Mixtures of Gaussian States
by: Ramkumar, Akshar, et al.
Published: (2025)

Multidimensional Quantum Walks, Recursion, and Quantum Divide & Conquer
by: Jeffery, Stacey, et al.
Published: (2024)

No Quantum Advantage in Decoded Quantum Interferometry for MaxCut
by: Parekh, Ojas
Published: (2025)

Quantum Honest Byzantine Agreement as a Distributed Quantum Algorithm
by: Edwards, Marcus
Published: (2023)

Quantum divide and conquer
by: Childs, Andrew M., et al.
Published: (2022)

Quantum Subroutine Composition
by: Jeffery, Stacey
Published: (2022)

Quantum-walk search in motion
by: Sahu, Himanshu, et al.
Published: (2023)

Quantum Search on Bipartite Multigraphs
by: Bezerra, Gustavo Alves, et al.
Published: (2025)

Quantum Speedup for Hypergraph Sparsification
by: Liu, Chenghua, et al.
Published: (2025)

Loop Composition in Quantum Algorithms
by: Jeffery, Stacey, et al.
Published: (2026)

Error Interference in Quantum Simulation
by: Chen, Boyang, et al.
Published: (2024)

Reductive Quantum Phase Estimation
by: Papadopoulos, Nicholas J. C., et al.
Published: (2024)

How to Design a Quantum Streaming Algorithm Without Knowing Anything About Quantum Computing
by: Kallaugher, John, et al.
Published: (2024)

Variational Quantum Algorithms for Semidefinite Programming
by: Patel, Dhrumil, et al.
Published: (2021)

Accelerating Regression Tasks with Quantum Algorithms
by: Liu, Chenghua, et al.
Published: (2025)

Quantum generalizations of Glauber and Metropolis dynamics
by: Gilyén, András, et al.
Published: (2024)

(No) Quantum space-time tradeoff for USTCON
by: Apers, Simon, et al.
Published: (2022)

Randomized Quantum Singular Value Transformation
by: Wang, Xinzhao, et al.
Published: (2025)

Conjectured Bounds for 2-Local Hamiltonians via Token Graphs
by: Apte, Anuj, et al.
Published: (2025)