![](/img/cover-not-exists.png)
Branching Programs and Binary Decision Diagrams (Theory and Applications) || 5. The Variable-Ordering Problem
Wegener, IngoVolume:
10.1137/1.
Year:
2000
Language:
english
DOI:
10.1137/1.9780898719789.ch5
File:
PDF, 211 KB
english, 2000