Scheduling Methods for Parallel Automated Theorem Proving.

Gernot Stenz Andreas Wolf

Published in: Canadian Conference on AI (2000)

Keyphrases

significant improvement
preprocessing
computational cost
machine learning methods
empirical studies
benchmark datasets
automated theorem proving
neural network
artificial intelligence
training set
scheduling problem
software engineering