混合答案集编程:基础与应用

💡 原文中文,约700字,阅读约需2分钟。
📝

内容提要

本文讨论了现有答案集编程(ASP)在处理数值和复杂约束方面的局限性,提出了带约束的这里与那里逻辑(HT_c),为混合ASP提供了理论基础,增强了其表达能力。

🏷️

标签

➡️

继续阅读