1 published article
人工智能
CRIL的研究人员证明，保留模型计数的预处理技术能在将公式编译为d-DNNF电路时，显著加速模型采样、枚举和直接访问查询。该研究测试了1,425个基准，并显示：使用兼容排序移除已定义变量，比不做预处理多解决47个实例。
2026-07-29