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

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