Scifaro

中文

SAT 的岛屿

人工智能 2007-05-23 v1

作者: H. Fang , Y. Kilani , J. H. M. Lee , P. J. Stuckey

在 arXiv 上查看 ↗ PDF ↗

摘要

本文介绍了用于限制局部搜索的“岛屿”概念。我们展示了如何为 CNF SAT 问题构造岛屿，以及通过限制搜索于岛屿内可以消除多少搜索空间。

关键词

SAT 局部搜索岛屿 CNF 搜索空间消减

引用

@article{arxiv.cs/0607071,
  title  = {Islands for SAT},
  author = {H. Fang and Y. Kilani and J. H. M. Lee and P. J. Stuckey},
  journal= {arXiv preprint arXiv:cs/0607071},
  year   = {2007}
}

备注

7 pages