Matthias Fuchs. Learning Proof Heuristics by Adaptive Parameters. In ICML. pages 235-243, 1995.
@inproceedings{Fuchs95,
title = {Learning Proof Heuristics by Adaptive Parameters},
author = {Matthias Fuchs},
year = {1995},
researchr = {https://researchr.org/publication/Fuchs95},
cites = {0},
citedby = {0},
pages = {235-243},
booktitle = {ICML},
}