@Article{,
 author = {P. Dudek, M. Kurkowski},
 title = {Direct SAT--based Cryptanalysis of Feistel Cipher},
 journal = {Scientific Issues of Jan Długosz University in Częstochowa, Mathematics},
 year = {2011},
 volume = {XVI},
 number = {103--110}
 }