HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:cryptographic CNF instances

Publications
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
Anastasia Leventi-Peetz, Oliver Zendel, Werner Lennartz and Kai Weber
In:Proceedings of Pragmatics of SAT 2015 and 2018
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
Anastasia Leventi-Peetz, Oliver Zendel, Werner Lennartz and Kai Weber
EasyChair Preprint 378
Copyright © 2012-2025 easychair.org. All rights reserved.