结合 发表于 2025-3-28 17:13:37

http://reply.papertrans.cn/16/1532/153163/153163_41.png

conference 发表于 2025-3-28 18:48:34

Introductioner finite domains. The dependencies and relations among the objects are modeled by means of discrete functions. By introducing a binary encoding for the elements of the underlying domain, each finite problem can be fully expressed by means of ., i.e., functions mapping bit vectors to single bits. Co

针叶类的树 发表于 2025-3-29 02:52:11

http://reply.papertrans.cn/16/1532/153163/153163_43.png

Amenable 发表于 2025-3-29 04:52:41

Classical Representationsble description types. Basically, the representation has to describe the function adequately and thoroughly, i.e., it must be completely clear from the representation which switching function is considered. Besides this fundamental condition, which has always to be satisfied, a series of further pro

有恶意 发表于 2025-3-29 10:13:32

OBDDs — Ordered Binary Decision Diagramsanching programs) was already studied by Lee and Akers in the 1950s and 1970s, these representations have not been used in serious applications for a long time. In 1986, by adding some ingenious ordering restrictions to these models and providing a sophisticated reduction mechanism, R. Bryant substa

evaculate 发表于 2025-3-29 13:31:27

http://reply.papertrans.cn/16/1532/153163/153163_46.png

种属关系 发表于 2025-3-29 17:33:59

http://reply.papertrans.cn/16/1532/153163/153163_47.png

变异 发表于 2025-3-29 22:41:28

Variants and Extensions of OBDDs application fields, these refined models are better suited than the “classic” OBDDs. We would like to present some particularly interesting and important developments in this area, although the relevant research efforts have not been completed yet. The search for more compact representations of swi

安抚 发表于 2025-3-30 01:47:42

9楼

杀人 发表于 2025-3-30 07:19:03

10楼
页: 1 2 3 4 [5] 6
查看完整版本: Titlebook: Algorithms and Data Structures in VLSI Design; OBDD - Foundations a Christoph Meinel,Thorsten Theobald Textbook 1998 Springer-Verlag Berlin