Featurebased learning of searchguiding heuristics for theorem proving
FuchsMarc, FuchsMatthias · AI Communications · 1998
Automated reasoning or theorem proving essentially amounts to solving search problems. Despite significant progress in recent years theorem provers still have many shortcomings. The use of machinel...