Searching for "An n log n Algorithm for Online BDD Refinement." – 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.

An n log n Algorithm for Online BDD Refinement
by Nils Klarlund, Nils Klarlund — 1995 — Computer Aided Verification, CAV '97, volume 1254 of LNCS
…n n BRICS Basic Research in Computer Science An n log n Algorithm for Online BDD Refinement…
Cited by 8 (4 self) – Add To MetaCart

Automata to Logic - and
by Back January Pp, Gudmund Skovbjerg Fr, Thore Husfeldt, Peter Bro Miltersen
…, PostScript. Nils Klarlund. An n log n Algorithm for Online BDD Refinement. May 1995. 20 pp. [RS-95…
Add To MetaCart

Showing 1 through 2.

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