Using Binary Decision Diagrams to Enumerate Inductive Logic Programming Solutions.

Hikaru Shindo, Masaaki Nishino, Akihiro Yamamoto

Browse the full ILP paper archive.