USAT — различия между версиями
Ulyantsev (обсуждение | вклад) (Новая страница: «'''USAT''' (Unique SAT) это множество формул <tex>\phi(x_1 \ldots x_n)</tex>, имеющих ровно один удовлетворяющий (в…») |
(нет различий)
|
Версия 18:43, 3 мая 2010
USAT (Unique SAT) это множество формул , имеющих ровно один удовлетворяющий (выполняющий) набор .
