Terms for subject Mathematics containing satisfiability

English	Russian
circuit satisfiability	Задача о выполнимости схемы (Источник: nashaucheba.ru Jumpow)
formula satisfiability	выполнимость формулы
joint satisfiability	совместная выполнимость
satisfiability problem	задача выполнимости
unitary satisfiability	унитарная выполнимость