sci.crypt: Cryptanalysis with SAT solvers

http://www.derkeiler.com/Newsgroups/sci.crypt/2003-10/0150.html

Keine Beschreibung vorhanden.