WikiDer > GRASP (решатель SAT)

эта статья слишком полагается на использованная литература к основные источники. Пожалуйста, улучшите это, добавив вторичные или третичные источники. (Август 2012 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

ПОНЯТЬ хорошо известный СИДЕЛ экземпляр решателя. Он был разработан Жоао Маркес Силва, а португальский исследователь информатики. Это означает Жадная рандомизированная процедура адаптивного поиска.

использованная литература

• Маркес-Силва, Дж. П. и Сакаллах, К. А. (1996) GRASP: новый алгоритм поиска выполнимости. In Proceedings of International Conference on Computer Aided Design, pp. 220-227, Санта-Клара, Калифорния, США.

внешняя ссылка

• Домашняя страница GRASP