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

Christoph Goller

Browse the full ESANN paper archive.