https://9lib.org/document/zlgjwomr-constraint-satisfaction-problems.html