Published August 20, 2022
| Version v1
Presentation
Open
Benchmarks in Towards an Efficient CNF Encoding of Block Ciphers
Authors/Creators
Description
Benchmarks used and analysed in Towards an Efficient CNF Encoding of Block Ciphers by Daniel Waszkiewicz and Konstanty Junosza-Szaniawski presented at the 13th Pragmatics of SAT international workshop (http://www.pragmaticsofsat.org/2022/)).
Details in README.md