Towards Parallel Direct SAT-Based Cryptanalysis.

Pawel Dudek, Miroslaw Kurkowski, Marian Srebrny

Browse the full PPAM paper archive.