https://123dok.org/document/q057mv5g-constraint-propagation-and-backtracking-based-search.html