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