Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Partitioned-OBDDs (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1997 (1) 1999 (1) 2000 (1) 2001 (1) 2003 (1)
Publication types (Num. hits)
article(2) inproceedings(3)
Venues (Conferences, Journals, ...)
CHARME(1) DAC(1) IEEE Trans. Computers(1) MFCS(1) Theory Comput. Syst.(1)
Authors
Ingo Wegener(4) Jawahar Jain(3) Beate Bollig(2) Amit Narayan(1) Christian Stangier(1) Debashis Sahoo(1) Dinos Moundanos(1) K. Mohanram(1) Masahiro Fujita(1) Subramanian K. Iyer(1) Yuan Lu 0004(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
135Jawahar Jain, Ingo Wegener, Masahiro Fujita A Note on Complexity of OBDD Composition and Efficiency of Partitioned-OBDDs over OBDDs. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Partitioned-OBDDs, composition, OBDDs
100Beate Bollig, Ingo Wegener Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
100Beate Bollig, Ingo Wegener Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams. Search on Bibsonomy MFCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25Subramanian K. Iyer, Debashis Sahoo, Christian Stangier, Amit Narayan, Jawahar Jain Improved Symbolic Verification Using Partitioning Techniques. Search on Bibsonomy CHARME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
19Jawahar Jain, K. Mohanram, Dinos Moundanos, Ingo Wegener, Yuan Lu 0004 Analysis of composition complexity and how to obtain smaller canonical graphs. Search on Bibsonomy DAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #5 of 5 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license