A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning.

Yuichi Goto, Hongbiao Gao, Jingde Cheng

Browse the full ACIIDS paper archive.