Almost-Natural Proofs.

Timothy Y. Chow

Published in: FOCS (2008)

Keyphrases

real time
artificial intelligence
real world
data mining
search algorithm
preprocessing
logic programs
theorem prover