GSAT

Kapcsolódó fogalmak: 
gráf színezés
Kapcsolódó fogalmak: 
n-királynő probléma
Rövid szöveges bemutatás: 
A GSAT rendszert Selman és társai alkották meg 1992-ben. A cél egy a kielégíthetőségi nehéz problémák széles körét hatékonyan megoldani képest rendszer kifejlesztése volt. A rendszer a kielégíthetetlen klózok számának minimalizálásán alapult. A rendszer elérte célját, és bizonyította, hogy a célkitűzés megvalósítható. A GSAT véletlenszerű lokális keresési eljárást alkalmazott. Sikeresen oldott meg olyan problémákat mint a gráf színezés témaköre vagy az N-királynő problémák.