ILP for Mathematical Discovery.

Simon Colton, Stephen H. Muggleton

Browse the full ILP paper archive.