selected publications

• conference paper

  • Learning search-control heuristics for automated deduction systems with folding architecture networks..  The European Symposium on Artificial Neural Networks. 45-50. 1999