GRASP (решатель SAT) - GRASP (SAT solver)
 | эта статья слишком полагается на использованная литература к основные источники. (Август 2012 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
ПОНЯТЬ хорошо известный СИДЕЛ экземпляр решателя. Он был разработан Жоао Маркес Силва, а португальский исследователь информатики. Это означает Жадная рандомизированная процедура адаптивного поиска.
использованная литература
- Маркес-Силва, Дж. П. и Сакаллах, К. А. (1996) GRASP: новый алгоритм поиска выполнимости. In Proceedings of International Conference on Computer Aided Design, pp. 220-227, Санта-Клара, Калифорния, США.