logical cryptanalysis as a sat problem .
Using Walk-SAT and Rel-Sat for Cryptographic Key Search