Supervised Learning of Heuristic Function for Refutation

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