Fig. 1From: Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functionsDecomposition set \(S_1\) constructed in Semenov et al. (2011)Back to article page