Learning search-control heuristics for automated deduction systems with folding architecture networks.

Christoph Goller Learning search-control heuristics for automated deduction systems with folding architecture networks. 45-50 1999 conf/esann/1999 ESANN http://www.dice.ucl.ac.be/Proceedings/esann/esannpdf/es1999-305.pdf db/conf/esann/esann1999.html#Goller99