@misc{indiciae340dfba5dd98, title = {QGCL: Quantum-Guided Clause Learning for Cryptanalytic SAT}, author = {Walid El Maouaki and Alberto Marchisio and Muhammad Shafique}, year = {2026}, url = {https://arxiv.org/abs/2605.25756}, note = {Source identifier: 2605.25756} }