Поиск по глубине, который выбирает значения для одной переменной за раз и возвращает, когда переменная не имеет юридических значений, чтобы назначить, чтобы назначить

Backtrack search
Proud Piranha