“Fast MILP Models for Division Property”, ToSC, vol. 2022, no. 2, pp. 289–321, Jun. 2022, doi: 10.46586/tosc.v2022.i2.289-321.