https://5dok.net/document/lzgpdpvz-note-based-formulations-solving-resource-constrained-scheduling-problems.html