Searching for "Compressing Binary 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.

Resolution Cannot Polynomially Simulate Compressed-BFS
by Doron B. Motter, Jarrod A. Roy, Igor L. Markov — 2003 — Ann. of Math. and A.I
… such as DLL/DP based SAT approaches and the compression of Binary Decision Diagrams has spawned much research…
Cited by 4 (0 self) – Add To MetaCart

Symbolic Scheduling Techniques
by Ivan Radivojevic — 1996
… are encapsulated in a compressed Binary Decision Diagram (BDD) representation. This solution format greatly…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB