• 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

• 1997
• 
  Abderrahmane Aggoun:
  L'environnement de programmation par contraintes CHIP dans l'industrie. JFPLC 1997: 229-230
• 
  Nicolas Barnier, Pascal Brisset:
  Optimisation par hybridation d'un CSP avec un algorithme génétique. JFPLC 1997: 119-132
• 
  Eric Boucher, Bruno Legeard:
  Procédure exacte d'optimisation dans le paradigme de la programmation logique avec contraintes ensemblistes. JFPLC 1997: 179-194
• 
  Jacques Carlier, Eric Pinson:
  Bounds and adjustments associated with the Pm/r_i, q_i/Cmax scheduling problem. JFPLC 1997: 169-
• 
  Pierre Dago:
  Backtrack dynamique valué. JFPLC 1997: 133-148
• 
  Maarten H. van Emden:
  Canonical extensions as common basis for interval constraints and interval arithmetic. JFPLC 1997: 71-84
• 
  Laurent Granvilliers:
  Transformations symboliques et consistance de bloc de CSP continus. JFPLC 1997: 195-210
• 
  Mathieu Jaume:
  Formalisation de la SLD-résolution dans le calcul des constructions inductives. JFPLC 1997: 277-
• 
  Narendra Jussien, Patrice Boizumault:
  Stratégies en meilleur d'abord pour la relaxation de contraintes. JFPLC 1997: 149-
• 
  Arnaud Lallouet:
  DP-LOG: un langage logique data-parallèle. JFPLC 1997: 53-
• 
  Karine Liogier:
  Négation constructive et modèles bivalués. JFPLC 1997: 85-100
• 
  Viet Phan Luong:
  Computing stable models of datalog programs with negation. JFPLC 1997: 101-
• 
  Stéphane N'Dong:
  Prolog IV ou la programmation par contraintes selon PrologIA. JFPLC 1997: 235-
• 
  Catuscia Palamidessi:
  Constraint programming for concurrent and distributed computing. JFPLC 1997: 11-
• 
  Jean-Hugues Réty:
  Un langage distribué concurrent avec contraintes. JFPLC 1997: 37-52
• 
  Jean-Michel Richer, Jean-Jacques Chabrier:
  Une approche de résolution de problèmes en logique basée sur des techniques de satisfaction de contraintes. JFPLC 1997: 245-260
• 
  John Alan Robinson:
  Unification and resolution in retrospect. JFPLC 1997: 241-
• 
  Olivier Roussel, Philippe Mathieu:
  Une compilation logique exacte en calcul des prédicats: le cas de l'achèvement partiel. JFPLC 1997: 261-276
• 
  Donald A. Smith:
  MixLog: a generalized rule-based language. JFPLC 1997: 21-36
• 
  Christine Solnon:
  Coopération de solveurs linéaires sur les réels pour la résolution de problèmes linéaires sur les entiers. JFPLC 1997: 211-
• 
  Georges Weil, Kamel Heus, Patrice François:
  Gymnaste ou l'informatisation des plannings des personnels dans l'unité de soins: un défi technique et sociologique. JFPLC 1997: 231-234
• 
  Frédéric Benhamou:
  JFPLC'97, Sixièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 26-28 mai 1997, Orléans, France. Hermes 1997, ISBN 2-86601-614-9 [contents]