https://1library.net/document/zkw16lmz-branch-algorithm-optimum-search-method-dependency-occurrence-constraints.html