Sparsity of Non−trivial Proving Speed−up in Random Systems of Propositional Calculus

Sparsity of Non−trivial Proving Speed−up in Random Systems of Propositional Calculus

Detalles Bibliográficos
Main Authors: Hernandez−Orozco, S, Hernandez−Quiroz, F, Zenil, H
Outros autores: Bonizzoni, P
Formato: Libro
Publicado: 2013
Descripción
Summary:

Títulos similares