https://123dok.net/document/oz18n28y-conflict-analysis-in-cp-solving-explanation-generation-from-constraint-decomposition.html