У меня не получается решать большие числобусы строго. Я заполняю очевидные комбинации, а потом проставляю цифры, пока не дохожу до противоречия. После этого разрешаю противоречие по цепочке и повторяю процесс.
@Mgla, может быть, у Вас более логичный способ решения?