https://123dok.net/document/y4gwom9y-algorithmic-barriers-in-random-constraint-satisfaction-problems.html