Learning proof heuristics by adapting parameters


Authored By:Matthias Fuchs
Paper Title:Learning proof heuristics by adapting parameters
Book/Journal Title:Proc. 12th International Conference on Machine Learning
Publisher:Morgan Kaufmann
Publication Date: 1995
Pages:235-243