|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 129 | Rolf Drechsler, Bernd Becker 0001 |
Dynamic minimization of OKFDDs.  |
ICCD  |
1995 |
DBLP DOI BibTeX RDF |
dynamic minimization, OKFDDs, small Ordered Kronecker Functional Decision Diagrams, Ordered Functional Decision Diagrams, dynamic variable ordering, decomposition type choice, OKFDD package, Boolean functions, logic design, directed graphs, decision theory, diagrams, minimisation, Ordered Binary Decision Diagrams, PUMA |
| 97 | Bernd Becker 0001, Rolf Drechsler, Michael Theobald |
OKFDDs versus OBDDs and OFDDs. |
ICALP |
1995 |
DBLP DOI BibTeX RDF |
|
| 70 | Rolf Drechsler, Bernd Becker 0001, Andrea Jahnke |
On Variable Ordering and Decomposition Type Choice in OKFDDs. |
IEEE Trans. Computers |
1998 |
DBLP DOI BibTeX RDF |
OKFDDs, tree-like circuits, Decision diagrams, variable ordering |
| 37 | Bernd Becker 0001, Rolf Drechsler, Michael Theobald |
On the Expressive Power of OKFDDs. |
Formal Methods Syst. Des. |
1997 |
DBLP DOI BibTeX RDF |
|
| 37 | Rolf Drechsler, Bernd Becker 0001, Nicole Göckel, Andrea Jahnke |
A Genetic Algorithm for Decomposition Type Choice in OKFDDs. |
Int. J. Artif. Intell. Tools |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license