P. Derbez and B. Lambin, “Fast MILP Models for Division Property”, ToSC, vol. 2022, no. 2, pp. 289–321, Jun. 2022.