Towards Parallel Direct SAT-Based Cryptanalysis.

Pawel Dudek Miroslaw Kurkowski Marian Srebrny

Published in: PPAM (1) (2011)

Keyphrases

parallel implementation
parallel processing
sat solvers
shared memory
answer set programming
constraint networks
distributed memory