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

Bibliographic Details
Main Authors:	Hernandez−Orozco, S, Hernandez−Quiroz, F, Zenil, H
Other Authors:	Bonizzoni, P
Format:	Book
Published:	2013

Similar Items