:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lin, Shang-Wei, Yan, Ji-Qing, Chen, Yean-Ru, Hou, Zhe, Sanán, David
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Quantum Physics
Online-Zugang:	https://arxiv.org/abs/2604.18218
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking
von: Kole, Abhoy, et al.
Veröffentlicht: (2024)

Performance Gains in Quantum SAT Solvers Using ESOP Encoding
von: Assaad, Majd, et al.
Veröffentlicht: (2026)

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

Quokka#: Quantum Computing with #SAT
von: Mei, Jingyi, et al.
Veröffentlicht: (2026)

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

Reducing Quantum Circuit Synthesis to #SAT
von: Zak, Dekel, et al.
Veröffentlicht: (2025)

Quantum Approximate Optimisation for Not-All-Equal SAT
von: El-Kadi, Andrew, et al.
Veröffentlicht: (2024)

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

Quantum Graph-State Synthesis with SAT
von: Brand, Sebastiaan, et al.
Veröffentlicht: (2023)

Equivalence Checking of Parameterised Quantum Circuits
von: Hong, Xin, et al.
Veröffentlicht: (2024)

Depth-Optimal Quantum Layout Synthesis as SAT
von: Jakobsen, Anna B., et al.
Veröffentlicht: (2025)

Quantum k-SAT Related Hypergraph Problems
von: Kremer, Simon-Luca, et al.
Veröffentlicht: (2025)

Complexity of Fermionic 2-SAT
von: Stroeks, Maarten, et al.
Veröffentlicht: (2024)

SAT Strikes Back: Parameter and Path Relations in Quantum Toolchains
von: Schmidbauer, Lukas, et al.
Veröffentlicht: (2025)

Partial Equivalence Checking of Quantum Circuits
von: Chen, Tian-Fu, et al.
Veröffentlicht: (2022)

Runtime-coherence trade-offs for hybrid SAT-solvers
von: Eshaghian, Vahideh, et al.
Veröffentlicht: (2024)

Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits
von: Huang, Mingyu, et al.
Veröffentlicht: (2025)

SAT, Gadgets, Max2XOR, and Quantum Annealers
von: Ansótegui, Carlos, et al.
Veröffentlicht: (2024)

CNOT-Optimal Clifford Synthesis as SAT
von: Shaik, Irfansha, et al.
Veröffentlicht: (2025)

Decoding quantum color codes with MaxSAT
von: Berent, Lucas, et al.
Veröffentlicht: (2023)

Solving k-SAT problems with generalized quantum measurement
von: Zhang, Yipei, et al.
Veröffentlicht: (2024)

Solving Max-3SAT Using QUBO Approximation
von: Zielinski, Sebastian, et al.
Veröffentlicht: (2024)

MaxSAT decoders for arbitrary CSS codes
von: Noormandipour, Mohammadreza, et al.
Veröffentlicht: (2024)

A SAT Encoding for Optimal Clifford Circuit Synthesis
von: Schneider, Sarah, et al.
Veröffentlicht: (2022)

Equivalence Checking of Quantum Circuits by Model Counting
von: Mei, Jingyi, et al.
Veröffentlicht: (2024)

Manjushri: A Tool for Equivalence Checking of Quantum Circuits
von: Trinh, Xuan Du, et al.
Veröffentlicht: (2026)

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

Grover-QAOA for 3-SAT: Quadratic Speedup, Fair-Sampling, and Parameter Clustering
von: Zhang, Zewen, et al.
Veröffentlicht: (2024)

Distributed quantum-classical hybrid algorithm for solving K-SAT problem
von: Huang, Huaijing, et al.
Veröffentlicht: (2026)

Performance of quantum annealing for 2-SAT problems with multiple satisfying assignments
von: Mehta, Vrinda, et al.
Veröffentlicht: (2025)

Using an Evolutionary Algorithm to Create (MAX)-3SAT QUBOs
von: Zielinski, Sebastian, et al.
Veröffentlicht: (2024)

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

Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
von: Yu, Nengkun, et al.
Veröffentlicht: (2025)

Planted-solution SAT and Ising benchmarks from integer factorization
von: Hen, Itay
Veröffentlicht: (2026)

Assessing fault-tolerant quantum advantage for $k$-SAT with structure
von: Brehm, Martijn, et al.
Veröffentlicht: (2024)

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

Amplitude amplification-inspired QAOA: Improving the success probability for solving 3SAT
von: Mandl, Alexander, et al.
Veröffentlicht: (2023)

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

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

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