TY  - RPRT
TI  - QGCL: Quantum-Guided Clause Learning for Cryptanalytic SAT
AU  - Walid El Maouaki
AU  - Alberto Marchisio
AU  - Muhammad Shafique
PY  - 2026
UR  - https://arxiv.org/abs/2605.25756
ID  - 2605.25756
ER  -