most citedRare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2015★ 1 cited

Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value

Santiago Hernández-Orozco, Francisco Hernández-Quiroz, Hector Zenil +1

We show that strategies implemented in automatic theorem proving involve an interesting tradeoff between execution speed, proving speedup/computational time and usefulness of infor…