Logical Cryptanalysis with WDSat.

Monika Trimoska, Gilles Dequen, Sorina Ionica

Browse the full SAT paper archive.