通过提取极小不可满足核求解 WCSP
人工智能
2013-04-22 v1
摘要
求解 WCSP 的常规技术基于代价转移操作，并结合分支定界算法。本文聚焦于一种整合了极小不可满足核的提取与松弛的方法来求解该问题。我们将该方法以两种方式实现：一个不完备的贪心算法和一个完备算法。
引用
@article{arxiv.1304.5449,
title = {Solving WCSP by Extraction of Minimal Unsatisfiable Cores},
author = {Christophe Lecoutre and Nicolas Paris and Olivier Roussel and Sébastien Tabary},
journal= {arXiv preprint arXiv:1304.5449},
year = {2013}
}