CSAT, или проблема выполнимости схемы, является вычислительной проблемой в информатике, которая решает, будет ли логическая схема выдавать значение TRUE при заданном наборе входов.

Информатика, Электроника, Программирование