JAIR

Journal of Artificial Intelligence Research · 期刊 · Artificial Intelligence

2026-08-12 至 2026-08-12 收录 1 篇

2608.10877 2026-08-12 cs.LO 新提交

Weighted First-Order Model Counting over Ordered Domains

有序域上的加权一阶模型计数

Jan Tóth, Qipeng Kuang, Kuncheng Zou, Václav Kůla, Yuyi Wang, Yuanhong Wang, Ondřej Kuželka

AI总结本研究针对有序域提出带线性序公理的WFOMC多项式时间算法，还分析双线性序场景的WFOMC复杂度，推进了该问题的难解性边界。

Comments Submitted to JAIR

↑