La validation en programmation : à propos de conceptions des étudiants
Vassilios Dagdilelis (1989)
Publications mathématiques et informatique de Rennes
Similarity:
Vassilios Dagdilelis (1989)
Publications mathématiques et informatique de Rennes
Similarity:
Italo Giorgiutti, Régis Gras (1987-1988)
Publications mathématiques et informatique de Rennes
Similarity:
G. Berthier (1932)
Journal de la société française de statistique
Similarity:
J.-P. Legendre, M. Minoux (1977)
RAIRO - Operations Research - Recherche Opérationnelle
Similarity:
(1947)
Journal de la société française de statistique
Similarity:
Hervé Deleau, Jin-Kao Hao, Frédéric Saubion (2010)
RAIRO - Operations Research
Similarity:
Nous présentons dans cet article un algorithme générique hybride permettant de combiner des méthodes complètes (programmation par contraintes) et incomplètes (recherche locale) pour la résolution de problèmes de satisfaction de contraintes. Ce schéma algorithmique basé sur la gestion de populations, utilise des techniques de propagation de contraintes intégrant également des heuristiques de recherche locale. Les structures utilisées autorisent une interaction homogène entre les différentes...
Philippe Chrétienne (1975)
RAIRO - Operations Research - Recherche Opérationnelle
Similarity:
Marc Legrand (1988-1989)
Publications mathématiques et informatique de Rennes
Similarity:
L. Pibouleau, P. Floquet, S. Domenech (1985)
RAIRO - Operations Research - Recherche Opérationnelle
Similarity:
(1966)
Mathématiques et Sciences Humaines
Similarity:
P. Huard (1971)
ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique
Similarity: