Towards Projection and Incremental Counting of Pseudo-Boolean Models

💡 原文英文,约100词,阅读约需1分钟。
📝

内容提要

本研究提出PBCount2,这是首个支持投影和增量计数的精确伪布尔模型计数器,实验结果显示其性能显著优于现有方法。

🏷️

标签

➡️

继续阅读