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