Keyword:Automatic Algorithm Configuration

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