R. Cymer, “Propagation Rules for Graph Partitioning Constraints”, JGAA, vol. 20, no. 2, pp. 363–410, Feb. 2016.