A canonical generalization of OBDD
OBDD的规范推广
机构 * Univ. Artois, CNRS, UMR 8188, CRIL(阿尔图瓦大学,法国国家科学研究中心,UMR 8188,计算机科学、信号与图像处理研究实验室) ; Arizona State University(亚利桑那州立大学) ; University of California, Los Angeles(加利福尼亚大学洛杉矶分校)
AI总结 本文提出Tree Decision Diagrams作为布尔函数模型,扩展了OBDD。TDD在结构d-DNNF限制下具有与OBDD相同的可计算性,且更简洁,能高效表示树宽为k的CNF公式。
Comments Submitted to SAT26