Sparsity of Non−trivial Proving Speed−up in Random Systems of Propositional Calculus
S. Hernandez−Orozco‚ F. Hernandez−Quiroz and H. Zenil
Book Title
The Nature of Computation‚ Logic‚ Algorithms‚ Applications; 9th Conference on Computability in Europe‚ CiE 2013
Editor
Paola Bonizzoni and Vasco Brattka and Benedikt Lowe
Year
2013