default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJFPLC 2002: Université de Nice Sophia-Antipolis, France
- Michel Rueher:
Programmation en logique avec contraintes, JFPLC 2002, 27-30 Mai 2002, Université de Nice Sophia-Antipolis, France. 2002 - Preface. JFPLC 2002: 9-
Papier invité
- Pascal Van Hentenryck:
Du filtrage optimal à la stabilité parfaite. JFPLC 2002: 11-
Contraintes numériques
- Lucas Bordeaux, Éric Monfroy, Frédéric Benhamou:
Raisonnement sur les propriétés de contraintes numériques. JFPLC 2002: 13- - Xuan-Ha Vu, Djamila Sam-Haroud, Marius-Calin Silaghi:
Résolution de problèmes non linéaires avec continuum de solutions. JFPLC 2002: 27- - Luc Jaulin, Marc Christie, Laurent Granvilliers:
Quelques applications de la propagation de contraintes sur les domaines continus en automatique. JFPLC 2002: 43-
Logique I
- Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
Optimisation par colonies de fourmis pour la programmation logique étendue. JFPLC 2002: 57- - Abdessamad Imine, Yahya Slimani, Sorin Stratulat:
Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems. JFPLC 2002: 71- - Frédéric Mesnard, Étienne Payet, Ulrich Neumerkel:
Non-Termination Inference for Optimal Termination Conditions of Logic Programs. JFPLC 2002: 87- - Samir Ouis, Narendra Jussien, Olivier Lhomme:
Explications conviviales pour la programmation par contraintes. JFPLC 2002: 105- - Mireille Ducassé, Ludovic Langevine:
Analyse automatisée de traces d'exécution de programmes CLP(FD). JFPLC 2002: 119- - Ludovic Langevine, Pierre Deransart, Mireille Ducassé, Erwan Jahier:
Prototypage de traceurs CLP(FD): un modèle de trace et son expérimentation. JFPLC 2002: 135-
Applications
- Jean-Charles Régin:
Résolution d'un problème de conception de réseau avec Parallel Solver. JFPLC 2002: 151- - Alexander Bockmayr, Arnaud Courtois:
Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides. JFPLC 2002: 167-
CSP
- Jean-Charles Régin, Jean-Francois Puget, Thierry Petit:
Representation of soft constraints by hard constraints. JFPLC 2002: 181- - Olivier Lhomme:
Amortized Non-Systematic Search Algorithms. JFPLC 2002: 199-
Logique II
- Pascal Urso, Emmanuel Kounalis:
Généralisations correctes pour l'induction mathématique. JFPLC 2002: 211- - Moussa Demba, Khaled Bsaïes:
Découverte de lemmes par instanciation de métavariables dans les preuves par récurrence. JFPLC 2002: 227- - Olivier Ponsini:
Réécriture de programmes C--en équations logiques. JFPLC 2002: 241-
Analyse de programmes
- Slim Abdennadher, Thom W. Frühwirth:
Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers. JFPLC 2002: 257- - Emmanuel Coquery, François Fages:
Surcharge et sous-typage dans TCLP. JFPLC 2002: 273- - Julien Arsouze, Gérard Ferrand, Arnaud Lallouet:
Arbre d'itérations chaotiques pour décrire la résolution des CSP. JFPLC 2002: 289-
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 2025-03-04 01:37 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:
