Cymer, R. Propagation Rules for Graph Partitioning Constraints. JGAA 2016, 20, 363-410.