Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lin, Shang-Wei, Yan, Ji-Qing, Chen, Yean-Ru, Hou, Zhe, Sanán, David
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Quantum Physics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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