1
Argitaratua 2013
Aurkibidea: ... -- On Propositional QBF Expansions and Q-Resolution -- Recovering and Utilizing Partial Duality in QBF -- Efficient...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2007
Aurkibidea: ... -- Multiple Error Detection in Substitution Blocks for Block Ciphers -- Parallelization Method of Encryption...
Testu osoa
Baliabide elektronikoa eBook