14 citations · 14 across the 1 of their papers we have counts for
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…