Published August 20, 2022
| Version v1
Presentation
Open
Benchmarks in Towards an Efficient CNF Encoding of Block Ciphers
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 |