Почему современные компьютеры за секунды решают NP-полные задачи, которые теоретически должны взрываться экспоненциально: SAT-солверы, CDCL и фазовые переходы
