TY  - RPRT
TI  - CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
AU  - A. -M. Leventi-Peetz
AU  - O. Zendel
AU  - W. Lennartz
AU  - K. Weber
PY  - 2021
DO  - 10.29007/vpd6
UR  - https://arxiv.org/abs/2112.11484
ID  - 2112.11484
ER  -