Imagen de Portada

Quantangle-SAT: A Quantum SAT Solver Based on Entanglement and Equivalence Checking

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Lin, Shang-Wei, Yan, Ji-Qing, Chen, Yean-Ru, Hou, Zhe, Sanán, David
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

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

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

A Modular and T-Gate Efficient Architecture for Quantum Leading-Zero/One Counter
por: Yao, Lei-Han, et al.
Publicado: (2026)

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

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

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

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

Equivalence Checking of Parameterised Quantum Circuits
por: Hong, Xin, et al.
Publicado: (2024)

A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem
por: Li, Zhengyu, et al.
Publicado: (2023)

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

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

Quantum k-SAT Related Hypergraph Problems
por: Kremer, Simon-Luca, et al.
Publicado: (2025)

Complexity of Fermionic 2-SAT
por: Stroeks, Maarten, et al.
Publicado: (2024)

SAT Strikes Back: Parameter and Path Relations in Quantum Toolchains
por: Schmidbauer, Lukas, et al.
Publicado: (2025)

Partial Equivalence Checking of Quantum Circuits
por: Chen, Tian-Fu, et al.
Publicado: (2022)

Runtime-coherence trade-offs for hybrid SAT-solvers
por: Eshaghian, Vahideh, et al.
Publicado: (2024)

Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits
por: Huang, Mingyu, et al.
Publicado: (2025)

Decoding quantum color codes with MaxSAT
por: Berent, Lucas, et al.
Publicado: (2023)

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

SAT, Gadgets, Max2XOR, and Quantum Annealers
por: Ansótegui, Carlos, et al.
Publicado: (2024)

Solving k-SAT problems with generalized quantum measurement
por: Zhang, Yipei, et al.
Publicado: (2024)

Solving Max-3SAT Using QUBO Approximation
por: Zielinski, Sebastian, et al.
Publicado: (2024)

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

Manjushri: A Tool for Equivalence Checking of Quantum Circuits
por: Trinh, Xuan Du, et al.
Publicado: (2026)

MaxSAT decoders for arbitrary CSS codes
por: Noormandipour, Mohammadreza, et al.
Publicado: (2024)

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

Quantum SAT Problems with Finite Sets of Projectors are Complete for a Plethora of Classes
por: Cardoso, Ricardo Rivera, et al.
Publicado: (2025)

Grover-QAOA for 3-SAT: Quadratic Speedup, Fair-Sampling, and Parameter Clustering
por: Zhang, Zewen, et al.
Publicado: (2024)

Distributed quantum-classical hybrid algorithm for solving K-SAT problem
por: Huang, Huaijing, et al.
Publicado: (2026)

Performance of quantum annealing for 2-SAT problems with multiple satisfying assignments
por: Mehta, Vrinda, et al.
Publicado: (2025)

Local Quantum Search Algorithm for Random $k$-SAT with $Ω(n^{1+ε})$ Clauses
por: Wu, Mingyou
Publicado: (2024)

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

A parallel and distributed fixed-point quantum search algorithm for solving SAT problems
por: Wang, He, et al.
Publicado: (2026)

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
por: Yu, Nengkun, et al.
Publicado: (2025)

Amplitude amplification-inspired QAOA: Improving the success probability for solving 3SAT
por: Mandl, Alexander, et al.
Publicado: (2023)

Planted-solution SAT and Ising benchmarks from integer factorization
por: Hen, Itay
Publicado: (2026)

Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators
por: Bannach, Max, et al.
Publicado: (2024)

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

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

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