Comparison of Upward and Downward Generalizations in CF-Induction.

Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma

Browse the full ILP paper archive.