This page shows all presentations of this author published in EasyChair Smart Slide.
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances
Anastasia Leventi-Peetz, Oliver Zendel, Werner Lennartz and Kai Weber