Serveur d'exploration sur l'Université de Trèves - Analysis (LNCS)

Index « Auteurs » - entrée « Anna Slobodová »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Anna Slobodova < Anna Slobodová < Annemarie Mörwald  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 4.
Ident.Authors (with country if any)Title
000247 (1998) Anna Slobodová [Allemagne]On the composition problem for OBDDs with multiple variable orders
000267 (1997) Christoph Meinel [Allemagne] ; Anna Slobodová [Allemagne]A reducibility concept for problems defined in terms of ordered binary decision diagrams
000290 (1995) Jochen Bern [Allemagne] ; Christoph Meinel [Allemagne] ; Anna Slobodová [Allemagne]Global rebuilding of OBDDs avoiding memory requirement maxima
000294 (1994) Christoph Meinel [Allemagne] ; Anna Slobodová [Allemagne]On the complexity of constructing optimal ordered binary decision diagrams

List of associated KwdEn.i

Nombre de
documents
Descripteur
1Algorithm complexity
1Binary decision diagram
1Boolean function
1Combinatorial problem
1Complexity
1Computational complexity
1Computer theory
1Decision support system
1Lower bound
1NP hard problem
1Polynomial time
1Reducibility
1Turing machine
1Upper bound

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/LNCS/Analysis
HfdIndexSelect -h $EXPLOR_AREA/Data/LNCS/Analysis/Author.i -k "Anna Slobodová" 
HfdIndexSelect -h $EXPLOR_AREA/Data/LNCS/Analysis/Author.i  \
                -Sk "Anna Slobodová" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/LNCS/Analysis/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Rhénanie
   |area=    UnivTrevesV1
   |flux=    LNCS
   |étape=   Analysis
   |type=    indexItem
   |index=    Author.i
   |clé=    Anna Slobodová
}}

Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024