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

• 2012
• 
  Pascal Benchimol, Willem Jan van Hoeve, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher:
  Improved filtering for weighted circuit constraints. Constraints An Int. J. 17(3): 205-233 (2012)
• 
  Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret:
  Solving constraint satisfaction problems with SAT modulo theories. Constraints An Int. J. 17(3): 273-303 (2012)
• 
  Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey:
  Exploiting subproblem dominance in constraint programming. Constraints An Int. J. 17(1): 1-38 (2012)
• 
  Radoslaw Cymer:
  Dulmage-Mendelsohn Canonical Decomposition as a generic pruning technique. Constraints An Int. J. 17(3): 234-272 (2012)
• 
  Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr Wojciechowski:
  A complexity perspective on entailment of parameterized linear constraints. Constraints An Int. J. 17(4): 461-487 (2012)
• 
  Stefan Heinz, Thomas Schlechte, Rüdiger Stephan, Michael Winkler:
  Solving steel mill slab design problems. Constraints An Int. J. 17(1): 39-50 (2012)
• 
  Daisuke Ishii, Alexandre Goldsztejn, Christophe Jermann:
  Interval-based projection method for under-constrained numerical systems. Constraints An Int. J. 17(4): 432-460 (2012)
• 
  Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah:
  A CP framework for testing CP. Constraints An Int. J. 17(2): 123-147 (2012)
• 
  Kamol Limtanyakul, Uwe Schwiegelshohn:
  Improvements of constraint programming and hybrid methods for scheduling of tests on vehicle prototypes. Constraints An Int. J. 17(2): 172-203 (2012)
• 
  Michele Lombardi, Michela Milano:
  Optimal methods for resource allocation and scheduling: a cross-disciplinary survey. Constraints An Int. J. 17(1): 51-85 (2012)
• 
  Ruben Martins, Vasco Manquinho, Inês Lynce:
  An overview of parallel SAT solving. Constraints An Int. J. 17(3): 304-347 (2012)
• 
  Younes Mechqrane, Mohamed Wahbi, Christian Bessiere, El-Houssine Bouyakhf, Amnon Meisels, Roie Zivan:
  Corrigendum to "Min-domain retroactive ordering for asynchronous backtracking". Constraints An Int. J. 17(3): 348-355 (2012)
• 
  Sébastien Mouthuy, Pascal Van Hentenryck, Yves Deville:
  Constraint-based Very Large-Scale Neighborhood search. Constraints An Int. J. 17(2): 87-122 (2012)
• 
  Quang-Dung Pham, Yves Deville:
  Solving the quorumcast routing problem by constraint programming. Constraints An Int. J. 17(4): 409-431 (2012)
• 
  Quang-Dung Pham, Yves Deville, Pascal Van Hentenryck:
  LS(Graph): a constraint-based local search for constraint optimization on trees and paths. Constraints An Int. J. 17(4): 357-408 (2012)
• 
  Steven D. Prestwich, Brahim Hnich, Helmut Simonis, Roberto Rossi, S. Armagan Tarim:
  Partial symmetry breaking by local search in the group. Constraints An Int. J. 17(2): 148-171 (2012)