Pawel Dudek, Miroslaw Kurkowski, Marian Srebrny. Towards Parallel Direct SAT-Based Cryptanalysis. In Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski, editors, Parallel Processing and Applied Mathematics - 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I. Volume 7203 of Lecture Notes in Computer Science, pages 266-275, Springer, 2011. [doi]
Abstract is missing.