Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions

Citation counts are provided from Web of Science and CrossRef. The counts may vary by service, and are reliant on the availability of their data. Counts will update daily once available.