QGCL: Quantum-Guided Clause Learning for Cryptanalytic SAT

Authors: W. El Maouaki, A. Marchisio, M. Shafique

arXiv preprint arXiv:2605.25756; May. 2026