Auteurs
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « Auteurs » - entrée « Roberto Sebastiani »
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.
Roberto Sartorio < Roberto Sebastiani < Robin Braun  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 2.
Ident.Authors (with country if any)Title
000388 (2006) Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie]Efficient theory combination via boolean search
000500 (2005) Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie]Efficient satisfiability modulo theories via delayed theory combination

List of associated FC03.fr.i

Nombre de
documents		Descripteur
2Quantificateur
2Satisfiabilité
103C10
103C80
128XX
149XX
165Kxx
168T37
1Analyse non convexe
1Architecture logiciel
1Arithmétique
1Assignation
1Combinaison booléenne
1Disjonction
1Décision
1Enumération
1Etat actuel
1Implémentation
1Informatique théorique
1Intégration
1Logique booléenne
1Logique propositionnelle
1Modification
1Modélisation
1Multitâche
1Méthode optimisation
1Niveau transfert registre
1Nombre entier
1Optimisation
1Performance
1Prise décision
1Problème satisfiabilité
1Processeur pipeline
1Procédure décision
1Raisonnement
1Retard
1Simultanéité informatique
1Splitting
1Théorie preuve
1Variable partagée
1Variété
1Vérification programme
1Vérité

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i -k "Roberto Sebastiani" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "Roberto Sebastiani" \
         | 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/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Roberto Sebastiani
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022