该论文研究了加权一阶模型计数问题（WFOMC），提出了一种在多项式时间内计算WFOMC的新算法，扩展了逻辑片段并引入了处理基数约束和计数量词的新工具。同时，研究了对称加权有限模型计数的复杂性，并提供了计算组合结构的框架。
完成下面两步后，将自动完成登录并继续当前操作。
