Quantangle-SAT: A Quantum SAT Solver Based on Entanglement and Equivalence Checking
Fuente:
arXiv
Guardado en:
| Autores principales: | Lin, Shang-Wei, Yan, Ji-Qing, Chen, Yean-Ru, Hou, Zhe, Sanán, David |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| 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)
por: Kole, Abhoy, et al.
Publicado: (2024)
Performance Gains in Quantum SAT Solvers Using ESOP Encoding
por: Assaad, Majd, et al.
Publicado: (2026)
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)
por: Yao, Lei-Han, et al.
Publicado: (2026)
Quokka#: Quantum Computing with #SAT
por: Mei, Jingyi, et al.
Publicado: (2026)
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)
por: Ugale, Pratim, et al.
Publicado: (2026)
Reducing Quantum Circuit Synthesis to #SAT
por: Zak, Dekel, et al.
Publicado: (2025)
por: Zak, Dekel, et al.
Publicado: (2025)
Quantum Approximate Optimisation for Not-All-Equal SAT
por: El-Kadi, Andrew, et al.
Publicado: (2024)
por: El-Kadi, Andrew, et al.
Publicado: (2024)
Equivalence Checking of Parameterised Quantum Circuits
por: Hong, Xin, et al.
Publicado: (2024)
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)
por: Li, Zhengyu, et al.
Publicado: (2023)
Quantum Graph-State Synthesis with SAT
por: Brand, Sebastiaan, et al.
Publicado: (2023)
por: Brand, Sebastiaan, et al.
Publicado: (2023)
Depth-Optimal Quantum Layout Synthesis as SAT
por: Jakobsen, Anna B., et al.
Publicado: (2025)
por: Jakobsen, Anna B., et al.
Publicado: (2025)
Quantum k-SAT Related Hypergraph Problems
por: Kremer, Simon-Luca, et al.
Publicado: (2025)
por: Kremer, Simon-Luca, et al.
Publicado: (2025)
Complexity of Fermionic 2-SAT
por: Stroeks, Maarten, et al.
Publicado: (2024)
por: Stroeks, Maarten, et al.
Publicado: (2024)
SAT Strikes Back: Parameter and Path Relations in Quantum Toolchains
por: Schmidbauer, Lukas, et al.
Publicado: (2025)
por: Schmidbauer, Lukas, et al.
Publicado: (2025)
Partial Equivalence Checking of Quantum Circuits
por: Chen, Tian-Fu, et al.
Publicado: (2022)
por: Chen, Tian-Fu, et al.
Publicado: (2022)
Runtime-coherence trade-offs for hybrid SAT-solvers
por: Eshaghian, Vahideh, et al.
Publicado: (2024)
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)
por: Huang, Mingyu, et al.
Publicado: (2025)
Decoding quantum color codes with MaxSAT
por: Berent, Lucas, et al.
Publicado: (2023)
por: Berent, Lucas, et al.
Publicado: (2023)
CNOT-Optimal Clifford Synthesis as SAT
por: Shaik, Irfansha, et al.
Publicado: (2025)
por: Shaik, Irfansha, et al.
Publicado: (2025)
SAT, Gadgets, Max2XOR, and Quantum Annealers
por: Ansótegui, Carlos, et al.
Publicado: (2024)
por: Ansótegui, Carlos, et al.
Publicado: (2024)
Solving k-SAT problems with generalized quantum measurement
por: Zhang, Yipei, et al.
Publicado: (2024)
por: Zhang, Yipei, et al.
Publicado: (2024)
Solving Max-3SAT Using QUBO Approximation
por: Zielinski, Sebastian, et al.
Publicado: (2024)
por: Zielinski, Sebastian, et al.
Publicado: (2024)
Equivalence Checking of Quantum Circuits by Model Counting
por: Mei, Jingyi, et al.
Publicado: (2024)
por: Mei, Jingyi, et al.
Publicado: (2024)
Manjushri: A Tool for Equivalence Checking of Quantum Circuits
por: Trinh, Xuan Du, et al.
Publicado: (2026)
por: Trinh, Xuan Du, et al.
Publicado: (2026)
MaxSAT decoders for arbitrary CSS codes
por: Noormandipour, Mohammadreza, et al.
Publicado: (2024)
por: Noormandipour, Mohammadreza, et al.
Publicado: (2024)
A SAT Encoding for Optimal Clifford Circuit Synthesis
por: Schneider, Sarah, et al.
Publicado: (2022)
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)
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)
por: Zhang, Zewen, et al.
Publicado: (2024)
Distributed quantum-classical hybrid algorithm for solving K-SAT problem
por: Huang, Huaijing, et al.
Publicado: (2026)
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)
por: Mehta, Vrinda, et al.
Publicado: (2025)
Local Quantum Search Algorithm for Random $k$-SAT with $Ω(n^{1+ε})$ Clauses
por: Wu, Mingyou
Publicado: (2024)
por: Wu, Mingyou
Publicado: (2024)
Using an Evolutionary Algorithm to Create (MAX)-3SAT QUBOs
por: Zielinski, Sebastian, et al.
Publicado: (2024)
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)
por: Wang, He, et al.
Publicado: (2026)
Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
por: Yu, Nengkun, et al.
Publicado: (2025)
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)
por: Mandl, Alexander, et al.
Publicado: (2023)
Planted-solution SAT and Ising benchmarks from integer factorization
por: Hen, Itay
Publicado: (2026)
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)
por: Bannach, Max, et al.
Publicado: (2024)
Assessing fault-tolerant quantum advantage for $k$-SAT with structure
por: Brehm, Martijn, et al.
Publicado: (2024)
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)
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)
por: González-Castillo, Samuel, et al.
Publicado: (2026)
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)