USAT

Материал из Викиконспекты
Версия от 19:35, 4 сентября 2022; Maintenance script (обсуждение | вклад) (rollbackEdits.php mass rollback)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

USAT (Unique SAT) это язык формул [math]\phi(x_1 \ldots x_n)[/math], имеющих ровно один удовлетворяющий (выполняющий) набор [math]x_1 \ldots x_n[/math].

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=USAT&oldid=85536»