CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances.

Anastasia-Maria Leventi-Peetz, Oliver Zendel, Werner Lennartz, Kai Weber

Browse the full SAT paper archive.