Английская Википедия:Boolean satisfiability problem: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

10 февраля 2024

  • текущ.пред. 22:1222:12, 10 февраля 2024‎ EducationBot обсуждение вклад‎ 53 957 байт +53 957‎ Новая страница: «{{Английская Википедия/Панель перехода}} {{short description|Problem of determining if a Boolean formula could be made true}} {{Redirect|3SAT|the Central European television network|3sat}} In logic and computer science, the '''Boolean satisfiability problem''' (sometimes called '''propositional satisfiability problem''' and abbreviated '''SATISFIABILITY''', '''SAT''' or '''B-SAT''') is the problem of determining if t...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:Boolean_satisfiability_problem