.png){kind=icon}
返回
Solving Hard Combinatorial Optimization Problems with PyQASP
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-15981-6_12.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
带量词的答案集编程（ASP(Q)）扩展了经典ASP，以自然地捕捉多项式层次（PH）中的问题。最近，该形式化方法通过弱约束得到了丰富，以表达局部和全局优化标准，从而能够对Delta(P)(n+1)中的问题进行建模。在本文中，我们基于最新的ASP(Q)系统PyQASP，提出了一种带全局弱约束的ASP(Q)的首个实现，该实现基于一个上界改进策略，能够有效引导搜索朝最优解进行。实验表明，我们的方法能够有效地应用于解决困难的优化问题。
Keyword:
Answer Set Programming
ASP with Quantifiers
Weak Constraints
Optimization
期刊
P
IF:
0
论文数:
12
被引数:
0
.png){kind=icon}
查看更多内容