Fig. 4From: Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functionsDecomposition set of 69 variables found by PDSAT for Grain cryptanalysisBack to article page