1 paper
Maarit Hietalahti, Fabio Massacci, Ilkka Niemela
The US Data Encryption Standard, DES for short, is put forward as an interesting benchmark problem for nonmonotonic reasoning systems because (i) it provides a set of test cases of…