algebraic cryptanalysis of the data encryption standard .
Using Walk-SAT and Rel-Sat for Cryptographic Key Search