Contributions de l’utilisateur
- 13 mai 2015 à 15:43 (diff | hist) . . (+43) . . N Fichier:Graphfusion.png (Exemple de fusion de sommets dans un graphe) (actuel)
- 13 mai 2015 à 15:42 (diff | hist) . . (+242) . . Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle (→Prototype) (actuel)
- 13 mai 2015 à 15:41 (diff | hist) . . (+67) . . N Fichier:Graphrep.png (Exemple de graphe et de sa représentation par matrice d'adjacence.) (actuel)
- 13 mai 2015 à 15:39 (diff | hist) . . (+71) . . N Fichier:Mainloopfig.png (Représentation schématique de l'algorithme de comptage de coloriages.) (actuel)
- 13 mai 2015 à 15:30 (diff | hist) . . (+22) . . N Fichier:Irl sellamiy.pdf (Rapport du module IRL.) (actuel)
- 13 mai 2015 à 15:18 (diff | hist) . . (-57) . . Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle (→Structures de données)
- 13 mai 2015 à 15:18 (diff | hist) . . (-26) . . Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle (→Algorithme général)
- 13 mai 2015 à 15:18 (diff | hist) . . (+421) . . Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle (→Mesures)
- 13 mai 2015 à 15:17 (diff | hist) . . (+213) . . N Fichier:Compare2.png (Comparaison du temps d'exécution moyen de l'algorithme suivant qu'on applique les formules (1) et (2) avec (en bleu) ou sans (en vert) la formule (3) en fonction du nombre d'arêtes pour des graphes de 8 sommets.) (actuel)
- 13 mai 2015 à 15:13 (diff | hist) . . (+194) . . N Fichier:Compare1.png (Comparaison du temps d'exécution moyen de l'algorithme suivant qu'on applique la formule (1) (en bleu) ou la formule (2) (en vert) en fonction du nombre d'arêtes pour des graphes de 8 sommets.) (actuel)
- 13 mai 2015 à 15:10 (diff | hist) . . (+30) . . m Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle (→Rapport)
- 13 mai 2015 à 15:09 (diff | hist) . . (+11) . . m Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle (→Introduction)
- 13 mai 2015 à 15:09 (diff | hist) . . (+24) . . m Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle (→Prototype)
- 13 mai 2015 à 15:08 (diff | hist) . . (+11) . . m Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle (→Mesures)
- 13 mai 2015 à 15:00 (diff | hist) . . (+11) . . Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle (→Mesures)
- 13 mai 2015 à 15:00 (diff | hist) . . (+189) . . N Fichier:Compare1.pdf (Comparaison du temps moyen de l'algorithme de comptage de coloriage avec la relation (1) (en bleu) et la relation (2) (en vert) en fonction du nombre d'arête pour des graphes de 8 sommets.) (actuel)
- 13 mai 2015 à 14:54 (diff | hist) . . (+15) . . m Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle (→Conclusions)
- 13 mai 2015 à 14:53 (diff | hist) . . (+597) . . Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle (→Conclusions)
- 13 mai 2015 à 14:49 (diff | hist) . . (+1 029) . . Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle (→Mesures)
- 13 mai 2015 à 14:38 (diff | hist) . . (+138) . . Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle (→Références)
- 13 mai 2015 à 14:35 (diff | hist) . . (+2 267) . . Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle
- 13 mai 2015 à 14:05 (diff | hist) . . (+3 221) . . Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle (→Problème et comptage de coloriages)
- 13 mai 2015 à 13:34 (diff | hist) . . (+1 067) . . Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle (→Introduction)
- 12 mai 2015 à 23:11 (diff | hist) . . (+214) . . Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle
- 12 mai 2015 à 23:06 (diff | hist) . . (+20) . . Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle
- 12 mai 2015 à 23:05 (diff | hist) . . (+112) . . N Yanis Sellami (avec Mnacho Echenim) : Dénombrement de modèles en logique équationnelle (Page créée avec « == Introduction == == Problème et comptage de coloriages == == Prototype == == Mesures == == Conclusions == »)
- 4 octobre 2014 à 21:12 (diff | hist) . . (+64) . . Introduction A La Recherche En Laboratoire 2A (→Etudiants potentiellement intéressés (à remplir par les étudiants))
