@misc{indiciae912dfb3aacfb,
  title = {Search-Driven Clause Learning for Product-State Quantum \$k\$-SAT (PRODSAT-QSAT)},
  author = {Samuel González-Castillo and Joon Hyung Lee and Alfons Laarman},
  year = {2026},
  url = {https://arxiv.org/abs/2603.20038},
  note = {Source identifier: 2603.20038}
}