default search action
JFPLC 2003: Amiens, France
- Mireille Ducassé:
Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003. Hermes/Lavoisier 2003, ISBN 2-7462-0739-7
Présentation Invitée
- Christian Timpe:
A hybrid MIP-CP algorithm for a linked planning and scheduling problem from chemical industry. JFPLC 2003: 15
Approches Hybrides
- Juliette Mattioli, Konstantin Artiouchine:
Noyau de viabilité: une contrainte globale pour la modélisation de systèmes dynamiques. JFPLC 2003: 19-32 - Vincent Barichard, Jin-Kao Hao:
Une approche hybride pour l'optimisation multi-objectif sous contraintes. JFPLC 2003: 33-46
Enseignement
- Catherine Belleannée, Olivier Ridoux:
Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique. JFPLC 2003: 49-62 - Narendra Jussien:
L'enseignement de la programmation logique à l'Ecole des Mines de Nantes. JFPLC 2003: 63-75 - Christine Solnon:
Un cours "électronique" sur la programmation par contraintes. JFPLC 2003: 77-80
Environnements
- Nicolas Museux, Laurent Jeannin, Pierre Savéant, Fabien Le Huédé, François-Xavier Josset, Juliette Mattioli:
Claire/Eclair : Un environnement de modélisation et de résolution pour des applications d'optimisation combinatoires embarquées. JFPLC 2003: 83-96 - Ludovic Langevine, Pierre Deransart:
Un nouveau traceur générique pour GNU-Prolog. JFPLC 2003: 97-110 - Samir Ouis, Narendra Jussien, Patrice Boizumault:
Explications k-relevantes pour la programmation par contraintes. JFPLC 2003: 111-124 - Arnaud Lallouet, Andrei Legtchenko, Thi-Bich-Hanh Dao, AbdelAli Ed-Dbali:
Apprentissage de solveurs de contraintes sur les domaines finis. JFPLC 2003: 125-138
Applications
- François Laburthe, Yves Caseau:
De l'utilité des contraintes pour explorer des catalogues. JFPLC 2003: 141-154 - Nathalie Chabrier, François Fages:
"Model Checking" symbolique de réseaux bio-chimiques. JFPLC 2003: 155-168 - Samir Loudni, Patrice Boizumault, Philippe David:
Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM. JFPLC 2003: 169-182 - Laurent Jeannin, Simon de Givry:
Optimisation des évolutions d'un réseau télécoms. JFPLC 2003: 183-186
Compilation
- Lucas Bordeaux, Éric Monfroy:
Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances. JFPLC 2003: 189-202 - Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet:
Un format fédérateur pour l'évaluation de spécifications formelles en programmation logique avec contraintes. JFPLC 2003: 203-216 - Fabrice Ambert, Sébastien Chemin, Bruno Legeard:
Intégration de domaines à variables dans un solveur de contraintes ensemblistes. JFPLC 2003: 217-220
Symétries
- Jean-Francois Puget:
Cassure de symétries à base de stabilisateurs : Application aux CSP matriciels. JFPLC 2003: 223-236 - Guillaume Arnaud:
Implantation de SBDS en GNU-Prolog. JFPLC 2003: 237-250
Algorithmes
- Emmanuel Coquery, François Fages:
Contraintes de sous-typage dans les quasi-treillis. JFPLC 2003: 253-266 - Christophe Lecoutre, Frédéric Boussemart, Fred Hemery:
De AC3 à AC7. JFPLC 2003: 267-280 - Vincent Barichard, Hervé Deleau, Jin-Kao Hao, Frédéric Saubion:
Evolution + Adaptation = Résolution. JFPLC 2003: 281-294 - François Laburthe:
Des contraintes sur des ontologies. JFPLC 2003: 295-298 - Daniel Goossens:
Bipartitions et équations linéaires. JFPLC 2003: 299-302 - Mustapha Belaïssaoui, Houssine Bouyakhf:
L'optimalité de l'algorithme "Distributed Intelligent Backtracking". JFPLC 2003: 303-306 - Moussa Demba, Francis Alexandre, Khaled Bsaïes:
Correction de Conjectures Fausses par Synthèse de Programmes. JFPLC 2003: 307-310
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: