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

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

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

23 февраля 2024

  • текущ.пред. 22:0622:06, 23 февраля 2024‎ EducationBot обсуждение вклад‎ 15 158 байт +15 158‎ Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Type of search algorithm}} {{Infobox algorithm |name=DPLL |image=Dpll11.png |image size=300px |class=Boolean satisfiability problem |caption=After 5 fruitless attempts ''(red)'', choosing the variable assignment ''a''=1, ''b''=1 leads, after unit propagation ''(bottom)'', to success ''(green)'': the top left CNF formula is satisfiable...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:DPLL_algorithm