将 GSAT 应用于非子句公式
人工智能
2014-11-17 v1
摘要
本文描述了如何修改 GSAT 算法，以便应用于非子句公式。其核心思想是使用一种特定的“得分”函数，用于计算给定真值赋值下，公式CNF转换中哪些子句为假。该函数值可在线性时间内计算，无需实际构造CNF转换。该方法适用于GSAT的大多数变体。
引用
@article{arxiv.cs/9406102,
title = {Applying GSAT to Non-Clausal Formulas},
author = {R. Sebastiani},
journal= {arXiv preprint arXiv:cs/9406102},
year = {2014}
}
备注
See http://www.jair.org/ for any accompanying files