ACCUEIL

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

APPEL À
CONTRIBUTION
Décisions, argumentation et traçabilité dans l’Ingénierie des Systèmes d’Information
En savoir plus >>
Autres revues >>

Ingénierie des Systèmes d'Information

Networking and Information Systems
1633-1311
Revue des sciences et technologies de l'information
 

couverture du numéro

Programmation en logique avec contraintes
JFPLC 2003
sous la direction de DUCASSÉ Mireille
 LISTE DES ARTICLES POUR LE VOL 8/RSTI1 - 2003
A Hybrid MIP-CP Algorithm for a Linked Planning and Scheduling Problem from Chemical Industry  [GRATUIT]
Christian TIMPE - pp.15-15
Noyau de viabilité : une contrainte globale pour la modélisation de systèmes dynamiques
Juliette MATTIOLI, Konstantin ARTIOUCHINE - pp.19-32
Une approche hybride pour l'optimisation multi-objectif sous contraintes
Vincent BARICHARD, Jin-Kao HAO - pp.33-46
Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique
Catherine BELLEANNÉE, Olivier RIDOUX - pp.49-62
L'enseignement de la programmation logique à l'École des Mines de Nantes
Narendra JUSSIEN - pp.63-75
Un cours « électronique » sur la programmation par contraintes
Christine SOLNON - pp.77-80
Claire/Eclair© Un environnement de modélisation etde résolution pourdesapplicationsd'optimisation combinatoires embarquées
Nicolas MUSEUX, Laurent JEANNIN, Pierre SAVÉANT, Fabien LE HUÉDÉ, François-Xavier JOSSET, Juliette MATTIOLI - pp.83-96
Un nouveau traceur générique pour GNU-Prolog
Ludovic LANGEVINE, Pierre DERANSART - pp.97-110
Explications k-relevantes pour la programmation par contraintes
Samir OUIS, Narendra JUSSIEN, Patrice BOIZUMAULT - pp.111-124
Apprentissage de solveurs de contraintes sur les domaines finis
Arnaud LALLOUET, Andreï LEGTCHENKO, Thi Bich HANH DAO, Abdel Ali ED-DBALI - pp.125-138
De l'utilité des contraintes pour explorer des catalogues
François LABURTHE, Yves CASEAU - pp.141-154
“Model Checking” symbolique de réseaux biochimiques
Nathalie CHABRIER, François FAGES - pp.155-168
Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM
Samir LOUDNI, Patrice BOIZUMAULT, Philippe DAVID - pp.169-182
Optimisation des évolutions d'un réseau télécom
Laurent JEANNIN, Simon DE GIVRY - pp.183-186
Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances
Lucas BORDEAUX, Éric MONFROY - pp.190-202
Un format fédérateur pour l'évaluation de spécifications formelles en Programmation Logique avec Contraintes
Fabrice BOUQUET, Bruno LEGEARD, Nicolas VACELET - pp.203-216
Intégration de domaines à variables dans un solveur de contraintes ensemblistes
Fabrice AMBERT, Sébastien CHEMIN, Bruno LEGEARD - pp.217-220
Cassures de symétries à base de stabilisateurs. Applications aux CSP matriciels.
Jean-François PUGET - pp.223-236
Implantation de SBDS en GNU Prolog
Guillaume ARNAUD - pp.237-250
Contraintes de sous-typage dans les quasi-treillis
Emmanuel COQUERY, François FAGES - pp.253-266
De AC3 à AC7
Christophe LECOUTRE, Frédéric BOUSSEMART, Fred HEMERY - pp.267-280
Évolution + Adaptation = Résolution
Vincent BARICHARD, Hervé DELEAU, Jin-Kao HAO, Frédéric SAUBION - pp.281-294
Des contraintes sur des ontologies
François LABURTHE - pp.295-298
Bipartitions et équations linéaires
Daniel GOOSSENS - pp.299-302
L'algorithme « Optimal Distributed Intelligent BackTracking »
Mustapha BELAÏSSAOUI, Houssine EL BOUYAKHF - pp.303-306
Correction de conjectures fausses par synthèse de programmes
Moussa DEMBA, Francis ALEXANDRE, Khaled BSAÏES - 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