Learning search-control heuristics for automated deduction systems with folding architecture networks. Conference Paper uri icon

publication date

  • January 1, 1999

start page

  • 45

end page

  • 50