https://123dok.net/document/oz1e35vy-singleton-arc-consistency-csps-defined-monotone-patterns.html