Search results for "JFPLC"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Gérard Ferrand, Arnaud Lallouet	Une représentation déclarative des consistances de CSPs.	JFPLC	2004	DBLP BibTeX RDF
1	Frédéric Mesnard (eds.)	Programmation en logique avec contraintes, JFPLC 2004, 21, 22 et 23 Juin 2004, Angers, France	JFPLC	2004	DBLP BibTeX RDF
1	Michel Vasquez, Djamal Habet	Algorithmes complet et incomplet pour la coloration des graphes de reines.	JFPLC	2004	DBLP BibTeX RDF
1	Sacha Berger, François Bry, Sebastian Schaffert	Xcerpt et visXcerpt : langages déductifs d'interrogation du Web.	JFPLC	2004	DBLP BibTeX RDF
1	Charlotte Truchet	Programmation par contraintes et composition musicale.	JFPLC	2004	DBLP BibTeX RDF
1	Vincent Barichard, Jin-Kao Hao	Recherche locale dichotomique pour la résolution des CSP continus.	JFPLC	2004	DBLP BibTeX RDF
1	Grégoire Dooms, Yves Deville, Pierre Dupont	Recherche de chemins contraints dans les réseaux biochimiques.	JFPLC	2004	DBLP BibTeX RDF
1	Sylvain Soliman	Pi-calcul et LCC, une odyssée de l'espace.	JFPLC	2004	DBLP BibTeX RDF
1	Étienne Payet, Frédéric Mesnard	Inférence de non-terminaison pour les programmes logiques avec contraintes.	JFPLC	2004	DBLP BibTeX RDF
1	Laurent Granvilliers, Mina Ouabiba	Contribution aux techniques de satisfaction de contraintes par combinaison de termes non linéaires.	JFPLC	2004	DBLP BibTeX RDF
1	Nicolas Beldiceanu, Emmanuel Poder	La contrainte période.	JFPLC	2004	DBLP BibTeX RDF
1	Ludovic Langevine, Mireille Ducassé	Un pilote de traceur pour la PLC.	JFPLC	2004	DBLP BibTeX RDF
1	Verónica Dahl, Philippe Blache	Implantation de grammaires de propriétés en CHR.	JFPLC	2004	DBLP BibTeX RDF
1	Michael Leuschel	PROB: un outil de modélisation formelle.	JFPLC	2004	DBLP BibTeX RDF
1	Élise Vareilles, Michel Aldanondo, Khaled Hadj-Hamou, Paul Gaborit	Application des techniques CSP pour la configuration d'un process de traitement thermique.	JFPLC	2004	DBLP BibTeX RDF
1	Pascal Nicolas, Laurent Garcia, Igor Stéphan	Programmation par ensembles-réponses possibilistes.	JFPLC	2004	DBLP BibTeX RDF
1	Hervé Deleau, Tony Lambert, Éric Monfroy, Frédéric Saubion	Itérations chaotiques pour l'hybridation propagation de contraintes/recherche locale.	JFPLC	2004	DBLP BibTeX RDF
1	Sébastien Sorlin, Christine Solnon	Une contrainte globale pour le problème de l'isomorphisme de graphes.	JFPLC	2004	DBLP BibTeX RDF
1	Gérard Ferrand, Willy Lesaint, Alexandre Tessier	Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis.	JFPLC	2004	DBLP BibTeX RDF
1	Samir Ouis, Narendra Jussien, Patrice Boizumault	Explications k-relevantes pour la programmation par contraintes.	JFPLC	2003	DBLP BibTeX RDF
1	Vincent Barichard, Jin-Kao Hao	Une approche hybride pour l'optimisation multi-objectif sous contraintes.	JFPLC	2003	DBLP BibTeX RDF
1	Samir Loudni, Patrice Boizumault, Philippe David	Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM.	JFPLC	2003	DBLP BibTeX RDF
1	Christian Timpe	A hybrid MIP-CP algorithm for a linked planning and scheduling problem from chemical industry.	JFPLC	2003	DBLP BibTeX RDF
1	Daniel Goossens	Bipartitions et équations linéaires.	JFPLC	2003	DBLP BibTeX RDF
1	Catherine Belleannée, Olivier Ridoux	Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique.	JFPLC	2003	DBLP BibTeX RDF
1	Jean-Francois Puget	Cassure de symétries à base de stabilisateurs : Application aux CSP matriciels.	JFPLC	2003	DBLP BibTeX RDF
1	Emmanuel Coquery, François Fages	Contraintes de sous-typage dans les quasi-treillis.	JFPLC	2003	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF
1	Ludovic Langevine, Pierre Deransart	Un nouveau traceur générique pour GNU-Prolog.	JFPLC	2003	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF
1	François Laburthe, Yves Caseau	De l'utilité des contraintes pour explorer des catalogues.	JFPLC	2003	DBLP BibTeX RDF
1	François Laburthe	Des contraintes sur des ontologies.	JFPLC	2003	DBLP BibTeX RDF
1	Mireille Ducassé (eds.)	Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003	JFPLC	2003	DBLP BibTeX RDF
1	Laurent Jeannin, Simon de Givry	Optimisation des évolutions d'un réseau télécoms.	JFPLC	2003	DBLP BibTeX RDF
1	Guillaume Arnaud	Implantation de SBDS en GNU-Prolog.	JFPLC	2003	DBLP BibTeX RDF
1	Moussa Demba, Francis Alexandre, Khaled Bsaïes	Correction de Conjectures Fausses par Synthèse de Programmes.	JFPLC	2003	DBLP BibTeX RDF
1	Christophe Lecoutre, Frédéric Boussemart, Fred Hemery	De AC3 à AC7.	JFPLC	2003	DBLP BibTeX RDF
1	Fabrice Ambert, Sébastien Chemin, Bruno Legeard	Intégration de domaines à variables dans un solveur de contraintes ensemblistes.	JFPLC	2003	DBLP BibTeX RDF
1	Narendra Jussien	L'enseignement de la programmation logique à l'Ecole des Mines de Nantes.	JFPLC	2003	DBLP BibTeX RDF
1	Christine Solnon	Un cours "électronique" sur la programmation par contraintes.	JFPLC	2003	DBLP BibTeX RDF
1	Lucas Bordeaux, Éric Monfroy	Extraction de programmes à partir de spécifications en logique existentielle du second ordre par compilation de connaissances.	JFPLC	2003	DBLP BibTeX RDF
1	Nathalie Chabrier, François Fages	"Model Checking" symbolique de réseaux bio-chimiques.	JFPLC	2003	DBLP BibTeX RDF
1	Arnaud Lallouet, Andrei Legtchenko, Thi-Bich-Hanh Dao, AbdelAli Ed-Dbali	Apprentissage de solveurs de contraintes sur les domaines finis.	JFPLC	2003	DBLP BibTeX RDF
1	Juliette Mattioli, Konstantin Artiouchine	Noyau de viabilité: une contrainte globale pour la modélisation de systèmes dynamiques.	JFPLC	2003	DBLP BibTeX RDF
1	Vincent Barichard, Hervé Deleau, Jin-Kao Hao, Frédéric Saubion	Evolution + Adaptation = Résolution.	JFPLC	2003	DBLP BibTeX RDF
1	Mustapha Belaïssaoui, Houssine Bouyakhf	L'optimalité de l'algorithme "Distributed Intelligent Backtracking".	JFPLC	2003	DBLP BibTeX RDF
1	Olivier Ponsini	Réécriture de programmes C--en équations logiques.	JFPLC	2002	DBLP BibTeX RDF
1	Julien Arsouze, Gérard Ferrand, Arnaud Lallouet	Arbre d'itérations chaotiques pour décrire la résolution des CSP.	JFPLC	2002	DBLP BibTeX RDF
1	Mireille Ducassé, Ludovic Langevine	Analyse automatisée de traces d'exécution de programmes CLP(FD).	JFPLC	2002	DBLP BibTeX RDF
1	Samir Ouis, Narendra Jussien, Olivier Lhomme	Explications conviviales pour la programmation par contraintes.	JFPLC	2002	DBLP BibTeX RDF
1	Jean-Charles Régin, Jean-Francois Puget, Thierry Petit	Representation of soft constraints by hard constraints.	JFPLC	2002	DBLP BibTeX RDF
1	Pascal Urso, Emmanuel Kounalis	Généralisations correctes pour l'induction mathématique.	JFPLC	2002	DBLP BibTeX RDF
1	Slim Abdennadher, Thom W. Frühwirth	Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers.	JFPLC	2002	DBLP BibTeX RDF
1	Jean-Charles Régin	Résolution d'un problème de conception de réseau avec Parallel Solver.	JFPLC	2002	DBLP BibTeX RDF
1	Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier	Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation.	JFPLC	2002	DBLP BibTeX RDF
1	Moussa Demba, Khaled Bsaïes	Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence.	JFPLC	2002	DBLP BibTeX RDF
1	Alexander Bockmayr, Arnaud Courtois	Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides.	JFPLC	2002	DBLP BibTeX RDF
1	Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou	Raisonnement sur les propriétés de contraintes numériques.	JFPLC	2002	DBLP BibTeX RDF
1		Preface.	JFPLC	2002	DBLP BibTeX RDF
1	Pascal Nicolas, Frédéric Saubion, Igor Stéphan	Optimisation par colonies de fourmis pour la programmation logique étendue.	JFPLC	2002	DBLP BibTeX RDF
1	Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel	Non-Termination Inference for Optimal Termination Conditions of Logic Programs.	JFPLC	2002	DBLP BibTeX RDF
1	Abdessamad Imine, Yahya Slimani, Sorin Stratulat	Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems.	JFPLC	2002	DBLP BibTeX RDF
1	Xuan-Ha Vu, Djamila Sam-Haroud, Marius-Calin Silaghi	Résolution de problèmes non linéaires avec continuum de solutions.	JFPLC	2002	DBLP BibTeX RDF
1	Pascal Van Hentenryck	Du filtrage optimal à la stabilité parfaite.	JFPLC	2002	DBLP BibTeX RDF
1	Michel Rueher (eds.)	Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France	JFPLC	2002	DBLP BibTeX RDF
1	Emmanuel Coquery, François Fages	Surcharge et sous-typage dans TCLP.	JFPLC	2002	DBLP BibTeX RDF
1	Olivier Lhomme	Amortized Non-Systematic Search Algorithms.	JFPLC	2002	DBLP BibTeX RDF
1	Luc Jaulin, Marc Christie, Laurent Granvilliers	Quelques applications de la propagation de contraintes sur les domaines continus en automatique.	JFPLC	2002	DBLP BibTeX RDF
1	Areski Nait Abdallah	Optimal models and optimal trajectories in logical dynamics.	JFPLC	2001	DBLP BibTeX RDF
1	Brahim Hnich, Pierre Flener	High-Level Reformulation of Constraint Programs.	JFPLC	2001	DBLP BibTeX RDF
1	Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou	Amélioration de la complexité des kB-consistances.	JFPLC	2001	DBLP BibTeX RDF
1	Sébastien Buthod-Garçon, Michel Dumoulin, Laurent Trilling	Un résolveur d'ordonnancements de gammes sur le long terme avec intégration dynamique des temps de réglage.	JFPLC	2001	DBLP BibTeX RDF
1	Philippe Codognet (eds.)	Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril - 27 avril 2001, Cité des sciences et de l'industrie, Paris, France	JFPLC	2001	DBLP BibTeX RDF
1	Sorin Craciunescu	Preuves de programmes logiques par induction et coinduction.	JFPLC	2001	DBLP BibTeX RDF
1	Cyril Terrioux	Recherche coopérative et Nogood Recording.	JFPLC	2001	DBLP BibTeX RDF
1	Gilles Audemard, Belaid Benhamou	Etude des symétries dans les modèles finis.	JFPLC	2001	DBLP BibTeX RDF
1	AbdelAli Ed-Dbali, Pierre Deransart, Mariza Andrade da Silva Bigonha, José de Siqueira, Roberto da Silva Bigonha	HyperPro: Un environment intégré de documentation pour la PLC.	JFPLC	2001	DBLP BibTeX RDF
1	Enhong Chen, Zhenya Zhang, Xufa Wang, Kazuyuki Aihara	An Algorithm for Fast Recognition of Connected Row-Convex Constraint Networks.	JFPLC	2001	DBLP BibTeX RDF
1	Frédéric Mesnard, Ulrich Neumerkel, Étienne Payet	cTI: un outil pour l'inférence de conditions optimales de terminasion pour Prolog.	JFPLC	2001	DBLP BibTeX RDF
1	Abdelfettah Hasbani, Olivier Guinaldo	Impact de la programmation logique parallèle et par contraintes sur l'ingénierie des systèmes multi-agents.	JFPLC	2001	DBLP BibTeX RDF
1	Emmanuel Coquery, François Fages	Programmes logiques avec contraintes typés.	JFPLC	2001	DBLP BibTeX RDF
1	Nicolas Romero	Programmation concurrente par contraintes explicitement répartie.	JFPLC	2001	DBLP BibTeX RDF
1	Christian Bessière, Jean-Charles Régin	Refining the Basic Constraint Propagation Algorithm.	JFPLC	2001	DBLP BibTeX RDF
1	Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak	Parametric Descriptive Types for CLP.	JFPLC	2001	DBLP BibTeX RDF
1	Marc R. C. van Dongen	A Theoretical Analysis of the Average-Time Complexity of Domain-Heuristics for Arc-Consistency Algorithms.	JFPLC	2001	DBLP BibTeX RDF
1	Satoshi Matsuoka	A Confluent Extension of Lafont's Interaction Nets.	JFPLC	2001	DBLP BibTeX RDF
1	Charlotte Truchet, Carlos Agón, Gérard Assayag	Recherche adaptative et contraintes musicales.	JFPLC	2001	DBLP BibTeX RDF
1	Yann Loyer, Nicolas Spyratos, Daniel Stamate	Test d'hypothèses pour l'intégration d'information en logique à quatre valeurs.	JFPLC	2000	DBLP BibTeX RDF
1	Thi-Bich-Hanh Dao	Résolution de contraintes du premier ordre dans la théorie des arbres finis ou infinis.	JFPLC	2000	DBLP BibTeX RDF
1	Jean-Yves Girard 0001	Conférénce invitée: Négation et dualité en programmation logique.	JFPLC	2000	DBLP BibTeX RDF
1	Christine Solnon	Ant-P-Solveur: un solveur de contraintes à base de fourmis artificielles.	JFPLC	2000	DBLP BibTeX RDF
1	Erwan Jahier, Mireille Ducassé, Olivier Ridoux	Spécification de modèles de traces à l'aide d'une sémantique par continuations.	JFPLC	2000	DBLP BibTeX RDF
1	Julien Arsouze, Gérard Ferrand, Arnaud Lallouet	Une sémantique co-inductive pour la propagation de contraintes et de labeling.	JFPLC	2000	DBLP BibTeX RDF
1	David R. Gilbert, David R. Westhead, Janet M. Thornton, Karine Yvon	Une technique déclarative pour filtrer des motifs topologiques de protéines.	JFPLC	2000	DBLP BibTeX RDF
1	Frédéric Mesnard, Antoine Rauzy	Le iota-calcul: un langage de contraintes d'ordre supérieur.	JFPLC	2000	DBLP BibTeX RDF
1	Martine Ceberio, Laurent Granvilliers	Résolution de systèmes non linéaires par inversion des contraintes et analyse par intervalles.	JFPLC	2000	DBLP BibTeX RDF
1	Laurent Granvilliers, Éric Monfroy	Modélisation déclarative de stratégies de propagation de contraintes.	JFPLC	2000	DBLP BibTeX RDF
1	Thom W. Frühwirth	Predicting Derivation Lengths in Rule-based Constraint Programs.	JFPLC	2000	DBLP BibTeX RDF
1	Nicolas Barnier, Pascal Brisset	Allocation de créneaux pour la régulation du trafic aérien.	JFPLC	2000	DBLP BibTeX RDF
1	Touraïvane (eds.)	Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France	JFPLC	2000	DBLP BibTeX RDF

Publications at "JFPLC"( http://dblp.L3S.de/Venues/JFPLC )