1
Publicado 2013
Tabla de Contenidos: ... -- On Propositional QBF Expansions and Q-Resolution -- Recovering and Utilizing Partial Duality in QBF -- Efficient...
Enlace del recurso
Electrónico eBook
2
Publicado 2007
Tabla de Contenidos: ... -- Multiple Error Detection in Substitution Blocks for Block Ciphers -- Parallelization Method of Encryption...
Enlace del recurso
Electrónico eBook