New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition

Lai, Y; Liu, DY; Yin, MH

Lai, Y (reprint author), Jilin Univ, Coll Comp Sci & Technol, Changchun 130012, Peoples R China.

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2017; 58 ( ): 453

Abstract

We identify two families of canonical knowledge compilation languages. Both families augment ROBDD with conjunctive decomposition bounded by an intege......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索