FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur l'Université de Trèves - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Fonction booléenne »
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.
Fonction barrière < Fonction booléenne < Fonction bêta  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 16.
Ident.Authors (with country if any)Title
000B86 (2001) Jürgen Forster [Allemagne] ; Matthias Krause [Allemagne] ; Satyanarayana V. Lokam [États-Unis] ; Rustam Mubarakzjanov [Allemagne] ; Niels Schmitt [Allemagne] ; Hans Ulrich Simon [Allemagne]Relations between communication complexity, linear arrangements, and computational complexity
000C06 (2001) Christoph Meinel [Allemagne] ; Christian Stangier [Allemagne]Data structures for Boolean functions BDDs: Foundations and applications
000C89 (2000) Christoph Meinel [Allemagne] ; F. Somenzi ; T. TheobaldLinear sifting of decision diagrams and its application in synthesis
000D72 (1999) Christoph Meinel [Allemagne] ; T. Theobald [Allemagne]On the influence of the state encoding on OBDD-representations of finite state machines
000D73 (1999) A. Bernasconi [Allemagne] ; C. Damm [Allemagne] ; I. E. Shparlinski [Australie]On the average sensitivity of testing square-free numbers
000D98 (1999) C. Damm [Allemagne]Depth-efficient simulation of Boolean semi-unbounded circuits by arithmetic ones
000E79 (1998) A. Slobodova [Allemagne]On the composition problem for OBDDs with multiple variable orders
000E83 (1998) C. Damm [Allemagne]On Boolean vs. modular arithmetic for circuits and communication protocols
001028 (1997) Christoph Meinel [Allemagne] ; T. Theobald [Allemagne]On the influence of the state encoding on OBDD-representations of finite state machines
001031 (1997) S. Jukna [Allemagne] ; A. Razborov [Russie] ; P. Savicky [République tchèque] ; I. Wegener [Allemagne]On P versus NP∩co-NP for decision trees and read-once branching programs
001191 (1996) J. Bern [Allemagne] ; Christoph Meinel [Allemagne] ; A. Slobodova [Allemagne]Some heuristics for generating tree-like FBDD types
001209 (1996) J. Bern [Allemagne] ; Christoph Meinel [Allemagne] ; A. Slobodova [Allemagne]Global rebuilding of OBDD's avoiding memory requirement maxima
001287 (1995) S. Jukna [Allemagne]Computing threshold functions by depth-3 threshold circuits with smaller thresholds of their gates
001291 (1995) S. Jukna [Allemagne]A note on read-k times branching programs
001334 (1994) J. Gergov [Allemagne] ; Christoph Meinel [Allemagne]On the complexity of analysis and manipulation of Boolean functions in terms of decision graphs
001342 (1994) J. Gergov [Allemagne] ; Christoph Meinel [Allemagne]Efficient boolean manipulation with OBDD's can be extended to FBDD's

List of associated Author.i

Nombre de
documents		Descripteur
8Christoph Meinel
3A. Slobodova
3C. Damm
3S. Jukna
3T. Theobald
2J. Bern
2J. Gergov
1A. Bernasconi
1A. Razborov
1Christian Stangier
1F. Somenzi
1Hans Ulrich Simon
1I. E. Shparlinski
1I. Wegener
1Jürgen Forster
1Matthias Krause
1Niels Schmitt
1P. Savicky
1Rustam Mubarakzjanov
1Satyanarayana V. Lokam

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Fonction booléenne" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Fonction booléenne" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Rhénanie
   |area=    UnivTrevesV1
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Fonction booléenne
}}
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