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
Files
miniaes.zip
Files
(1.0 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:086b0bb07f9d68bd40c45b68b4762748
|
1.0 GB | Preview Download |