arXiv ID:
2604.05537
arXiv 提交日期: 2026-04-07
OBDD的规范泛化 / A canonical generalization of OBDD
1️⃣ 一句话总结
这篇论文提出了一种名为树决策图(TDD)的新模型来高效表示布尔函数,它比经典的OBDD模型更强大、更紧凑,尤其擅长处理具有特定树状结构复杂度的逻辑公式。