44 search results - page 1 / 9 » The Complexity of the Optimal Variable Ordering Problems of ... |
111
Voted
ISAAC
1993
Springer
15 years 2 months ago
1993
Springer
A binary decision diagram (BDD) is a directed acyclic graph for representing a Boolean function. BDD’s are widely used in various areas which require Boolean function manipulatio...
160
click to vote
ASIAMS
2009
IEEE
15 years 3 months ago
2009
IEEE
—Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing ...
ECSQARU
2007
Springer
15 years 5 months ago
2007
Springer
The binary representation is widely used for representing focal sets of Dempster-Shafer belief functions because it allows to compute efficiently all relevant operations. However, ...
101
click to vote
AAAI
2008
15 years 1 months ago
2008
This paper investigates the impact of symbolic search for solving domain-independent action planning problems with binary decision diagrams (BDDs). Polynomial upper and exponential...
102
click to vote
ISAAC
1995
Springer
15 years 2 months ago
1995
Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...