DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions.

Alexey Ignatiev, Alexander A. Semenov

Browse the full SAT paper archive.