Fast MILP Models for Division Property. ToSC. 2022;2022(2):289-321. doi:10.46586/tosc.v2022.i2.289-321