Без заголовка

Я считаю, что решение фундаментальных проблем (типа того же прорыва в SAT-солверах) требует, конечно, опоры на какие-то другие (прошлые) решения фундаментальных проблем. Но мой пойнт и в том, что в случае ненахождения адекватных прошлых решений фундаментальных проблем, их нужно решать -- по всей цепочке к основаниям. И это нормально, это инженерный подход: управление требованиями, архитектурный синтез решений и т.д. -- без разницы, делаем ли эйфелеву башню к сроку и в рамках бюджета или придумываем новый тип SAT-солвера, уменьшающий время расчета вдесятеро и требуемую память впятеро, или делаем новую математику для нового типа SAT-солвера.