研究人员引入了一种名为幂项多项式代数的新表示语言，旨在弥合布尔逻辑的合取范式（CNF）和代数范式（ANF）之间的差距。该框架通过在表示本身中编码结构化单项式和CNF子句，旨在避免在CNF和ANF之间的直接转换过程中遇到的指数级爆炸。所提出的系统包括布尔多项式加法和乘法的代数运算，以及允许直接操作公式而无需完全展开为ANF的重写规则，这为结构感知转换和混合推理方法提供了新的途径。 AI
排序理由 该集群包含一篇详细介绍布尔逻辑新理论框架的学术论文。[lever_c_demoted from research: ic=1 ai=0.4]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →