BM Smith, ME Dyer - Artificial Intelligence, 1996 - elibrary.ru
The phase transition in binary constraint satisfaction problems, ie the transition from a region
in which almost all problems have many solutions to a region in which almost all problems …