CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Anastasia-Maria Leventi-Peetz' in GoogleThis author has not been identified. Look up 'Oliver Zendel' in GoogleThis author has not been identified. Look up 'Werner Lennartz' in GoogleThis author has not been identified. Look up 'Kai Weber' in Google

runs on WebDSL