Adaptive Parallel Search for Theorem Proving.

Diane J. Cook, Charles Hannon

Browse the full FlAIRS paper archive.