Policy-based memoization for ILP-based concept discovery systems