Anastasia-Maria Leventi-Peetz, Oliver Zendel, Werner Lennartz, Kai Weber. CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances. In Daniel Le Berre, Matti Järvisalo, editors, Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018. Volume 59 of EPiC Series in Computing, pages 79-93, EasyChair, 2018. [doi]
@inproceedings{Leventi-PeetzZL18,
title = {CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances},
author = {Anastasia-Maria Leventi-Peetz and Oliver Zendel and Werner Lennartz and Kai Weber},
year = {2018},
url = {http://www.easychair.org/publications/paper/5g6S},
researchr = {https://researchr.org/publication/Leventi-PeetzZL18},
cites = {0},
citedby = {0},
pages = {79-93},
booktitle = {Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018},
editor = {Daniel Le Berre and Matti Järvisalo},
volume = {59},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}