Calculs ascendants du programme d'Ackermann : analyse du programme de J. Arsac
G. Berry (1977)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
G. Berry (1977)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Aïcha Hachemi (2005)
Acta Arithmetica
Similarity:
Annette Paugam (1985)
Publications mathématiques et informatique de Rennes
Similarity:
Pham Dinh Tao (1991)
RAIRO - Operations Research - Recherche Opérationnelle
Similarity:
Mohaud Ait Ouyahia (1962)
Cahiers du Bureau universitaire de recherche opérationnelle Série Recherche
Similarity:
P. Huard (1968)
ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique
Similarity:
P. Mahey (1986)
RAIRO - Operations Research - Recherche Opérationnelle
Similarity:
Jeanne Guiet (1993)
Publications mathématiques et informatique de Rennes
Similarity:
Dominique Duval (1985)
Publications mathématiques et informatique de Rennes
Similarity:
Laurent Bessières (2000-2001)
Séminaire de théorie spectrale et géométrie
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...
Monique Lejeune-Jalabert (1984-1985)
Cours de l'institut Fourier
Similarity:
Yves Tabourier (1972)
RAIRO - Operations Research - Recherche Opérationnelle
Similarity: