New Results in Direct SAT-Based Cryptanalysis of DES-Like Ciphers. - Michal Chowaniec; Miroslaw Kurkowski; Michal Mazur (ACS, 2018)