• 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 7 matches

• 2001
• 
  Hubert Comon, Claude Marché, Ralf Treinen:
  Constraints in Computational Logics: Theory and Applications, International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, Revised Lectures. Lecture Notes in Computer Science 2002, Springer 2001, ISBN 3-540-41950-0 [contents]
• 1999
• 
  Franz Baader, Klaus U. Schulz:
  Combining Constraint Solving. CCL 1999: 104-158
• 
  Hubert Comon, Claude Kirchner:
  Constraint Solving on Terms. CCL 1999: 47-103
• 
  Harald Ganzinger, Robert Nieuwenhuis:
  Constraints and Theorem Proving. CCL 1999: 159-201
• 
  Jean-Pierre Jouannaud, Ralf Treinen:
  Constraints and Constraint Solving: An Introduction. CCL 1999: 1-46
• 
  Mario Rodríguez-Artalejo:
  Functional and Constraint Logic Programming. CCL 1999: 202-270
• 
  Helmut Simonis:
  Building Industrial Applications with Constraint Programming. CCL 1999: 271-309