Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving under Limited Resources.

Eric Horvitz, Adrian C. Klein

Browse the full UAI paper archive.