https://123dok.net/document/y4wm8vmr-dominance-constraints-algorithms-and-complexity.html