GSAT
description
corrected link
k-SAT
definition
corrected link
example
removed junk
corrected meaning of k
corrected reference to k-SAT