https://123dok.net/document/y8gxkp0z-a-binary-integer-programming-model-for-global-optimization-of-learning-path-discovery.html