Logical cryptanalysis as a SAT-problem: Encoding and analysis (2000)

by Fabio Massacci , Laura Marraro
Venue:In Journal of Automated Reasoning
Citations:23 - 2 self