https://9dok.net/document/q5m0oggr-heuristic-exact-algorithms-product-configuration-software-product-lines.html