加权约束满足问题隐式击中集方法的经验评估

本文解决了加权约束满足问题（Weighted CSPs）中算法效果不佳的漏洞，提出了结合SAT技术和隐式击中集方法的新策略。我们提出的多个替代方案和成本函数合并的实验结果显示，尽管难以确定最佳选择，但成本函数合并编码和提取最大核心的方法表现出较强的鲁棒性。