To realise our idea, we build on the constraint-driven learning from failures (LFF) [1]}, [2]} ILP approach.
The goal of LFF is to accumulate constraints to restrict the hypothesis space.
In our approach, we accumulate constraints during both the divide and conquer steps.
In other words, we reuse constraints learned during one iteration in subsequent iterations.
We call our approach divide, constrain, and conquer (DCC).
