Зада́ча выполни́мости бу́левых фо́рмул (SAT, ВЫП) — важная для теории вычислительной сложности алгоритмическая задача.
Источник: наш словарь
Категория: общие • ← Словарь