{"id":"arxiv/2603.20038","url":"https://arxiv.org/abs/2603.20038","tags":["quant-ph","cs.CC","cs.LO"],"score":0,"title":"Search-Driven Clause Learning for Product-State Quantum $k$-SAT (PRODSAT-QSAT)","domain":"quant-ph","source":"arxiv","authors":["Samuel González-Castillo","Joon Hyung Lee","Alfons Laarman"],"reviews":0,"subject":"quant-ph","summary":"We study PRODSAT-QSAT($k$): given rank-one $k$-local projectors, determine whether a quantum $k$-SAT instance admits a satisfying product state. We present a CDCL-style refutation framework that searches a finite partition of each qubit's Bloch sphere while a sound theory solver checks region feasibility using a geometric overapproximation of the projection amplitudes for each constraint. When the theory solver proves that no state in a region can satisfy a constraint, it produces a sound conflict clause that blocks that region; accumulated blocking clauses can yield a global result of…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-03-20","reactions":{}}