• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 22 matches

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