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

> Research article (SpringerPlus, 2016) · cited 25× · AI/ML

**Wikidata**: [openalex:W2342940067](https://www.wikidata.org/wiki/openalex:W2342940067)  
**Source**: https://4ort.xyz/entity/algorithm-for-finding-partitionings-of-hard-variants-of-boolean-satisfiability-problem-with-application-to-inversion-of-