Scifaro

中文

为基于 BDD 的交互式配置计算有效域

人工智能 2007-05-23 v1

作者: Tarik Hadzic , Rune Moller Jensen , Henrik Reif Andersen

在 arXiv 上查看 ↗ PDF ↗

摘要

在这些笔记中，我们正式描述了从表示有效配置解空间的 BDD 中计算有效域的功能。该形式化主要基于 CLab 配置框架。

引用

@article{arxiv.0704.1394,
  title  = {Calculating Valid Domains for BDD-Based Interactive Configuration},
  author = {Tarik Hadzic and Rune Moller Jensen and Henrik Reif Andersen},
  journal= {arXiv preprint arXiv:0704.1394},
  year   = {2007}
}

R2 v1 2026-06-26T06:38:55.123Z