Algebraic decision diagrams and their applications

被引：0

作者：

Univ of Colorado, Boulder, United States ^{[1
]}

机构：

来源：

Formal Methods Syst Des | / 2-3卷 / 171-206期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[31] Minimizing Binary Decision Diagrams for Systems of Incompletely Defined Boolean Functions Using Algebraic Cofactor Expansions
Bibilo, P. N.
JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2022, 61 (04) : 539 - 566
[32] Sequence Decision Diagrams
Alhakami, Hind
Ciardo, Gianfranco
Chrobak, Marek
STRING PROCESSING AND INFORMATION RETRIEVAL, SPIRE 2014, 2014, 8799 : 149 - 160
[33] Binary Decision Diagrams
Somenzi, F
CALCULATIONAL SYSTEM DESIGN, 1999, 173 : 303 - 366
[34] Ternary decision diagrams
Ching, SP
Suaidi, MK
2002 STUDENT CONFERENCE ON RESEARCH AND DEVELOPMENT, PROCEEDINGS: GLOBALIZING RESEARCH AND DEVELOPMENT IN ELECTRICAL AND ELECTRONICS ENGINEERING, 2002, : 76 - 79
[35] Stochastic Decision Diagrams
Hooker, J. N.
INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH, CPAIOR 2022, 2022, 13292 : 138 - 154
[36] Overview of decision diagrams
Drechsler, R
Becker, B
IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1997, 144 (03): : 187 - 193
[37] Complex decision diagrams
Falkowski, BJ
Rahardja, S
ELECTRONICS LETTERS, 1996, 32 (04) : 290 - 291
[38] Testing with decision diagrams
Becker, B
INTEGRATION-THE VLSI JOURNAL, 1998, 26 (1-2) : 5 - 20
[39] BINARY DECISION DIAGRAMS
AKERS, SB
IEEE TRANSACTIONS ON COMPUTERS, 1978, 27 (06) : 509 - 516
[40] Ternary decision diagrams
Yasuoka, K
FOURTH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN AND COMPUTER GRAPHICS, 1996, 2644 : 489 - 496