反演启发函数的监督学习算法

• Supervised Learning of Heuristic Function for Refutation