https://123dok.net/document/yr316p6p-skypattern-pattern-condensed-representations-dynamic-constraint-satisfaction-problems.html