Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard
scientific article; zbMATH DE number 1449098