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 |
BibTeX Record:
@InProceedings{f-lphap-95,
author = "Matthias Fuchs",
title = "Learning proof heuristics by adapting parameters",
booktitle = "Proc. 12th International Conference on Machine Learning",
publisher = "Morgan Kaufmann",
year = "1995",
pages = "235--243",
}
Hide BibTex Record
@InProceedings{f-lphap-95,
author = "Matthias Fuchs",
title = "Learning proof heuristics by adapting parameters",
booktitle = "Proc. 12th International Conference on Machine Learning",
publisher = "Morgan Kaufmann",
year = "1995",
pages = "235--243",
}