A connectionist approach for learning search-control heuristics for automated deduction systems

C. Goller
Abstract:Automated deduction has a long tradition in computer science and most of the symbolic AI systems perform some kind of logic-based deductive inference. The
What problem does this paper attempt to address?