https://5dok.net/document/y6eoov2g-solving-resource-constrained-scheduling-problems-constraints-satisfiability-encoding.html