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