DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions
scientific article; zbMATH DE number 5908738
scientific article