带约束的答案集编程中的强等价性

💡 原文中文,约300字,阅读约需1分钟。
📝

内容提要

本研究探讨了带约束的答案集编程中的强等价性,分析规则集并提出翻译方法,以提高推理效率,对理解强等价性及其计算复杂性具有重要意义。

🏷️

标签

➡️

继续阅读