## Ordered binary decision diagrams (OBDDs) are a model for representing Boolean functions. There is also a more powerful variant called parity OBDDs. The size of the representation of a given function depends in both these models on the chosen ordering of the variables. It is known that there are
✦ LIBER ✦
On the effect of local changes in the variable ordering of ordered decision diagrams
✍ Scribed by Beate Bollig; Martin Löbbing; Ingo Wegener
- Publisher
- Elsevier Science
- Year
- 1996
- Tongue
- English
- Weight
- 813 KB
- Volume
- 59
- Category
- Article
- ISSN
- 0020-0190
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
On random orderings of variables for par
✍
Petr Savický
📂
Article
📅
2000
🏛
John Wiley and Sons
🌐
English
⚖ 93 KB
Using genetic algorithms for the variabl
✍
A.E.A Almaini; N Zhuang
📂
Article
📅
1995
🏛
Elsevier Science
🌐
English
⚖ 604 KB
The effect of cold work on local order
✍
P.S Rudman; B.L Averbach
📂
Article
📅
1956
🏛
Elsevier Science
⚖ 262 KB
Variable viscosity effects on the perist
✍
T. Hayat; F. M. Abbasi
📂
Article
📅
2010
🏛
John Wiley and Sons
🌐
English
⚖ 904 KB
## Abstract The effect of variable viscosity on the peristaltic motion of MHD third‐order fluid in a channel is studied using slip condition. The series solution for stream function, longitudinal velocity and pressure gradient are first derived and then discussed in detail. The pressure rise and fr
Note on phase changes of the second orde
✍
J.L. Snoek
📂
Article
📅
1942
🏛
Elsevier Science
⚖ 505 KB
Effect of impurities on the properties o
✍
L.N. Bulaevskii; S.V. Panjukov
📂
Article
📅
1981
🏛
Elsevier Science
🌐
English
⚖ 394 KB