Aspects algorithmiques de la recherche locale co-évolutionnaire pour la satiffaisabilité maximale,incrémentale et maximale partielle en logique propositionnelle / Mohamed El Bachir Menai

Public ISBD Titre : Aspects algorithmiques de la recherche locale co-évolutionnaire pour la satiffaisabilité maximale,incrémentale et maximale partielle en logique propositionnelle Auteurs : Mohamed El Bachir Menai ; Univ. de Constantine, Éditeur scientifique ; Mohamed Chawki Batouche, Directeur de thèse Année de publication : 2005 Importance : 119 p. Note générale : 01 Disponible à la salle de recherche 02 Disponibles au magazin de la bibliothèque centrale Catégories : Français - Anglais Informatique Tags : Logique propositionnelle, SAT  MaxSAT  ISAT  PMSAT  Algorithme approximatif  Recherche locale stochastique metaheuristique  Optimisation extrémale  Fonction de distribution de Bose-Einstein Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=218 Aspects algorithmiques de la recherche locale co-évolutionnaire pour la satiffaisabilité maximale,incrémentale et maximale partielle en logique propositionnelle [] / Mohamed El Bachir Menai ; Univ. de Constantine, Éditeur scientifique ; Mohamed Chawki Batouche, Directeur de thèse . - 2005 . - 119 p. 01 Disponible à la salle de recherche 02 Disponibles au magazin de la bibliothèque centrale Catégories : Français - Anglais Informatique Tags : Logique propositionnelle, SAT  MaxSAT  ISAT  PMSAT  Algorithme approximatif  Recherche locale stochastique metaheuristique  Optimisation extrémale  Fonction de distribution de Bose-Einstein Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=218

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
MEN/4270	MEN/4270	Thèse	Bibliothèque principale	Thèses	Disponible

---

1 (1 - 1 / 1)