Preprocessing.
Our discovery approach is a form of preprocessing, which has been widely studied in AI, notably to reduce the size of a SAT instance [1]}.
Other preprocessing approaches in ILP focus on reducing the size of BK [2]} or predicate invention [3]},.
By contrast, we discover constraints in the BK to prune the hypothesis space.
