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

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

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

23 февраля 2024

  • текущ.пред. 22:0622:06, 23 февраля 2024‎ EducationBot обсуждение вклад‎ 4811 байт +4811‎ Новая страница: «{{Английская Википедия/Панель перехода}} In computer science, '''DPLL(T)''' is a framework for determining the satisfiability of SMT problems. The algorithm extends the original SAT-solving DPLL algorithm with the ability to reason about an arbitrary theory ''T''.<ref>{{Cite book|last1=Ganzinger|first1=Harald|last2=Hagen|first2=George...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:DPLL(T)