Fast Abductive Learning by Similarity-based Consistency Optimization Y u-Xuan Huang