USAT — различия между версиями

Текущая версия на 19:35, 4 сентября 2022

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

Версия 10:20, 4 мая 2010 (просмотреть исходный код) 192.168.0.2 (обсуждение) ← Предыдущая правка	Текущая версия на 19:35, 4 сентября 2022 (просмотреть исходный код) Maintenance script (обсуждение \| вклад) м (rollbackEdits.php mass rollback)
(не показана 1 промежуточная версия 1 участника)
(нет различий)

USAT — различия между версиями

Текущая версия на 19:35, 4 сентября 2022

Навигация

Персональные инструменты

Пространства имён

Варианты

Просмотры

Ещё

Поиск

Навигация

Инструменты