花束，织物；菲利普·杰古 使用OBDD处理动态约束。 （英语） 兹比尔1337.68240 信息处理。莱特。 62，第3期，111-120（1997）.MSC公司：68T20型 68第05页 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Bouquet}和\textit{P.Jégou}，Inf.过程。莱特。62，第3号，111-120（1997；Zbl 1337.68240） 全文： 内政部
克里斯托夫·梅内尔；托尔斯滕·西奥博尔德 状态编码对有限状态机OBDD表示的影响。 （英语） Zbl 0951.68037号 Privara，L.（编辑）等人，1997年计算机科学的数学基础。1997年8月25日至29日，斯洛伐克布拉迪斯拉发，第22届国际研讨会，MFCS’97。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1295, 408-417 (1997).MSC公司：2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Meinel}和\textit{T.Theobald}，莱克特。票据计算。科学。1295、408--417（1997年；Zbl 0951.68037）
杰罗姆·阿米尔赫斯特雷；菲利普·詹森；弗朗索瓦·布凯；菲利普·杰古 CSP解决方案集的表示。（CSP解决方案代表） （法语） Zbl 0940.68131号 修订版Intell。工件。 11，编号313-338（1997）.MSC公司：68T20型 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Amilhastre}等人，《情报评论》。Artif公司。11，第3号，313--338（1997；Zbl 0940.68131）
范艾克，C.A.J。 一种基于BDD的大型综合电路验证方法。 （英语） Zbl 0905.68075号 集成。，超大规模集成电路J。 23，第2期，131-149（1997）.MSC公司：68瓦35 PDF格式BibTeX公司 XML格式引用 \textit{C.A.J.van Eijk}，集成。，超大规模集成电路J.23，第2号，131-149（1997；Zbl 0905.68075） 全文： 内政部
靖子武胜；三菱Nouzoe；山岛，Shuzo 代表阈值函数的OBDD的大小和可变顺序。 （英语） Zbl 0898.94020号 姜涛（编辑）等，《计算与组合学》。第三届国际年会，COCOON’97。中国上海。1997年8月20日至22日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1276, 91-100 (1997). 审核人：H.Salum（塔林） MSC公司：94立方厘米 06E30年 68N17号 68单位07 PDF格式BibTeX公司 XML格式引用 \textit{Y.Takenaga}等人，Lect。票据计算。科学。1276，91-100（1997年；兹bl 0898.94020）
Masahiro Fujita（编辑）；帕特里克·C·麦吉尔。（编辑） 多端二进制决策图。 （英语） Zbl 0863.00022号 形式方法系统。设计。10，第2-3号，第133-276页（1997年）。 MSC公司：00B15号机组 68-06 90-06 PDF格式BibTeX公司 XML格式
拉加万，V。；D.威尔金斯。 分支程序的特征和近似线性时间等价性检验。 （英语） Zbl 0870.68124号 理论计算。系统。 30，第3期，249-283（1997）.MSC公司：68T05型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{V.Raghavan}和\textit{D.Wilkins}，理论计算。系统。30，第3号，249--283（1997；Zbl 0870.68124）