@misc{indiciae27682a323e36,
  title = {CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances},
  author = {A. -M. Leventi-Peetz and O. Zendel and W. Lennartz and K. Weber},
  year = {2021},
  doi = {10.29007/vpd6},
  url = {https://arxiv.org/abs/2112.11484},
  note = {Source identifier: 2112.11484}
}