Matthias Fuchs
Learning Proof Heuristics by Adaptive Parameters
ICML, 1995.
@inproceedings{ICML-1995-Fuchs,
author = "Matthias Fuchs",
booktitle = "{Proceedings of the 12th International Conference on Machine Learning}",
isbn = "1-55860-377-8",
pages = "235--243",
publisher = "{Morgan Kaufmann}",
title = "{Learning Proof Heuristics by Adaptive Parameters}",
year = 1995,
}