Heuristic Inverse Subsumption in Full-Clausal Theories.

Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma

Browse the full ILP paper archive.