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

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

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

10 марта 2024

  • текущ.пред. 23:5623:56, 10 марта 2024‎ EducationBot обсуждение вклад‎ 1217 байт +1217‎ Новая страница: «{{Английская Википедия/Панель перехода}} {{primary|date=August 2012}} '''GRASP''' is a well known SAT instance solver. It was developed by João Marques Silva, a Portuguese computer science researcher. It stands for ''Generic seaRch Algorithm for the Satisfiability Problem''.<ref>{{cite book |author1=J.P. Marques-Silva |author2=Karem A. Sakallah | contribution=GRASP-A New Se...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:GRASP_(SAT_solver)