Title: A Connectionist Approach for Learning Search-Control Heuristics for Automated Deduction Systems