ACCUEIL

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

Ingénierie des Systèmes d'Information

Networking and Information Systems
1633-1311
Revue des sciences et technologies de l'information
Nouvel éditeur en 2019
 

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