 Moreover, a full-fledged method can be used to apply this approach to control.First formula_2 constraints are sampled and then the user starts removing some of the constraints in succession.This can be done in different ways, even according to greedy algorithms.