Constraint induction.
Inducing constraints is popular in AI [1]}.
In ILP, inducing constraints has been widely studied, notably by clausal discovery approaches [2]}.
These approaches induce constraints to include in a hypothesis to eliminate models.
By contrast, we do not include constraints in hypotheses.
Instead, we discover constraints to prune the hypothesis space.
