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