Christoph Goller. Learning search-control heuristics for automated deduction systems with folding architecture networks. In ESANN 1999, 7th European Symposium on Artificial Neural Networks, Bruges, Belgium, April 21-23, 1999, Proceedings. pages 45-50, 1999. [doi]
@inproceedings{Goller99,
title = {Learning search-control heuristics for automated deduction systems with folding architecture networks},
author = {Christoph Goller},
year = {1999},
url = {http://www.dice.ucl.ac.be/Proceedings/esann/esannpdf/es1999-305.pdf},
tags = {control systems, architecture, search},
researchr = {https://researchr.org/publication/Goller99},
cites = {0},
citedby = {0},
pages = {45-50},
booktitle = {ESANN 1999, 7th European Symposium on Artificial Neural Networks, Bruges, Belgium, April 21-23, 1999, Proceedings},
}