TY  - RPRT
TI  - Search-Driven Clause Learning for Product-State Quantum $k$-SAT (PRODSAT-QSAT)
AU  - Samuel González-Castillo
AU  - Joon Hyung Lee
AU  - Alfons Laarman
PY  - 2026
UR  - https://arxiv.org/abs/2603.20038
ID  - 2603.20038
ER  -