USAT — различия между версиями
Ulyantsev (обсуждение | вклад) (Новая страница: «'''USAT''' (Unique SAT) это множество формул <tex>\phi(x_1 \ldots x_n)</tex>, имеющих ровно один удовлетворяющий (в…») |
м (rollbackEdits.php mass rollback) |
||
| (не показаны 3 промежуточные версии 2 участников) | |||
| Строка 1: | Строка 1: | ||
| − | '''USAT''' (Unique SAT) это | + | '''USAT''' (Unique '''[[SAT]]''') это язык формул <tex>\phi(x_1 \ldots x_n)</tex>, имеющих ровно один удовлетворяющий (выполняющий) набор <tex>x_1 \ldots x_n</tex>. |
Текущая версия на 19:35, 4 сентября 2022
USAT (Unique SAT) это язык формул , имеющих ровно один удовлетворяющий (выполняющий) набор .
