TY  - RPRT
TI  - Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value
AU  - Santiago Hernández-Orozco
AU  - Francisco Hernández-Quiroz
AU  - Hector Zenil
AU  - Wilfried Sieg
PY  - 2015
UR  - https://arxiv.org/abs/1506.04349
ID  - 1506.04349
ER  -