R·塞巴斯蒂亚尼。 将GSAT应用于非子句公式。（研究笔记）。 （英语） Zbl 0900.68234号 J.阿蒂夫。智力。研究（JAIR） 1, 309-314 (1994). 小结：在本文中，我们描述了如何修改GSAT，以便将其应用于非子句公式。其思想是使用一个特定的“score”函数，该函数给出在给定的真值赋值下错误的公式的CNF转换的子句数。其值以线性时间计算，而无需构造CNF转换本身。建议的方法适用于迄今为止提出的GSAT的大多数变体。 引用于5文件 MSC公司： 68宽10 计算机科学中的并行算法 PDF格式BibTeX公司 XML格式引用 \textit{R.塞巴斯蒂亚尼}，J.阿蒂夫。智力。Res.（JAIR）1309-314（1994年；兹bl 0900.68234） 全文： arXiv公司