EasyChair Smart Slide
Towards an Efficient CNF Encoding of Block Ciphers
Towards an Efficient CNF Encoding of Block Ciphers