{"id":"arxiv/2605.16202","url":"https://arxiv.org/abs/2605.16202","tags":["quant-ph","cs.ET"],"score":0,"title":"Performance Gains in Quantum SAT Solvers Using ESOP Encoding","domain":"quant-ph","source":"arxiv","authors":["Majd Assaad","Abhoy Kole","Rolf Drechsler"],"reviews":0,"subject":"quant-ph","summary":"The Boolean Satisfiability (SAT) problem is a canonical NP-complete problem and a natural candidate for quantum acceleration via search-based algorithms. In Grover-based quantum SAT solvers, the dominant computational cost stems from the construction of a reversible oracle that evaluates the Boolean formula, rendering the choice of SAT encoding crucial for overall quantum resource efficiency. Although SAT instances are conventionally expressed in Conjunctive Normal Form (CNF), such encodings typically translate into quantum circuits with significant qubit overhead and high non-Clifford gate…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-05-15","reactions":{}}