Searching for "Bounds on Size of Decision Diagrams." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Bounds on Size of Decision Diagrams
by Vaclav Dvorak — 1997 — JUCS - The Journal of Universal Computer Science (JUCS
…Bounds on the Sizes of Decision Diagrams Vaclav Dvorak (Technical University Brno, Czech Republic…
Cited by 1 (0 self) – Add To MetaCart

Implicit Pseudo Boolean Enumeration Algorithms for Input Vector Control
by unknown authors
… to compute +, ≤ and × operations. Because it is difficult to bound the size of decision diagram at every…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB