1
Published 2013
Table of Contents: ... -- On Propositional QBF Expansions and Q-Resolution -- Recovering and Utilizing Partial Duality in QBF -- Efficient...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... -- Multiple Error Detection in Substitution Blocks for Block Ciphers -- Parallelization Method of Encryption...
View full text
Electronic eBook