7 search results - page 1 / 2 » Dynamic Minimization of Word-Level Decision Diagrams |
DATE
1998
IEEE
13 years 10 months ago
1998
IEEE
ICCAD
1997
IEEE
13 years 10 months ago
1997
IEEE
In many veri cation techniques fast functional evaluation of a Boolean network is needed. We investigate the idea of using Binary Decision Diagrams BDDs for functional simulatio...
ATAL
2009
Springer
13 years 9 months ago
2009
Springer
Interactive dynamic influence diagrams (I-DIDs) are graphical models for sequential decision making in uncertain settings shared by other agents. Algorithms for solving I-DIDs fac...
ISMVL
2008
IEEE
14 years 4 days ago
2008
IEEE
This paper describes new metrics for the data structure referred to as quantum multiple-valued decision diagrams (QMDD) which are used to represent the matrices describing reversi...
DAC
1999
ACM
13 years 10 months ago
1999
ACM
Ordered Binary Decision Diagrams BDDs are a data structure for representation and manipulation of Boolean functions often applied in VLSI CAD. The choice of the variable orderin...