ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Autres revues >>

L'Objet

1262-1137
logiciel, bases de données, réseaux
Publication abandonné
 

couverture du numéro

Programmation en logique avec contraintes
JFPLC 2003
sous la direction de DUCASSÉ Mireille
 LISTE DES ARTICLES POUR LE VOL 9/RSTI1 - 2003
A Hybrid MIP-CP Algorithm for a Linked Planning and Scheduling Problem from Chemical Industry  [GRATUIT]
- pp.15-15
Noyau de viabilité : une contrainte globale pour la modélisation de systèmes dynamiques
- pp.19-32
Une approche hybride pour l'optimisation multi-objectif sous contraintes
- pp.33-46
Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique
- pp.49-62
L'enseignement de la programmation logique à l'École des Mines de Nantes
- pp.63-75
Un cours « électronique » sur la programmation par contraintes
- pp.77-80
Claire/Eclair© Un environnement de modélisation etde résolution pourdesapplicationsd'optimisation combinatoires embarquées
- pp.83-96
Un nouveau traceur générique pour GNU-Prolog
- pp.97-110
Explications k-relevantes pour la programmation par contraintes
- pp.111-124
Apprentissage de solveurs de contraintes sur les domaines finis
- pp.125-138
De l'utilité des contraintes pour explorer des catalogues
- pp.141-154
“Model Checking” symbolique de réseaux biochimiques
- pp.155-168
Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM
- pp.169-182
Optimisation des évolutions d'un réseau télécom
- pp.183-186
Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances
- pp.190-202
Un format fédérateur pour l'évaluation de spécifications formelles en Programmation Logique avec Contraintes
- pp.203-216
Intégration de domaines à variables dans un solveur de contraintes ensemblistes
- pp.217-220
Cassures de symétries à base de stabilisateurs. Applications aux CSP matriciels.
- pp.223-236
Implantation de SBDS en GNU Prolog
- pp.237-250
Contraintes de sous-typage dans les quasi-treillis
- pp.253-266
De AC3 à AC7
- pp.267-280
Évolution + Adaptation = Résolution
- pp.281-294
Des contraintes sur des ontologies
- pp.295-298
Bipartitions et équations linéaires
- pp.299-302
L'algorithme « Optimal Distributed Intelligent BackTracking »
- pp.303-306
Correction de conjectures fausses par synthèse de programmes
- pp.307-310
Index des auteurs  [GRATUIT]
- pp.311-311
ACHETEZ CE NUMÉRO (version imprimée)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier