Cymer, Radosław. 2016. “Propagation Rules for Graph Partitioning Constraints”. Journal of Graph Algorithms and Applications 20 (2):363-410. https://doi.org/10.7155/jgaa.00397.