推广级别排名约束用于单调及凸聚合函数

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

内容提要

本文重新考虑了级别排序约束,以更系统地覆盖基于聚合的ASP扩展。通过程序转换,级别排序约束可以以一般形式重写,保留了单调和凸聚合的结构,并为它们的整合提供了统一的基础。这些结果为翻译器和求解器管道的实际应用开辟了新的可能性。

🏷️

标签

➡️

继续阅读