• 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

• 2006
• 
  Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace:
  Adding Constraint Solving to Mercury. PADL 2006: 118-133
• 
  Martin Erwig, Steve Kollmansberger:
  Modeling Genome Evolution with a DSEL for Probabilistic Programming. PADL 2006: 134-149
• 
  Sandrine-Dominique Gouraud, Arnaud Gotlieb:
  Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine. PADL 2006: 1-15
• 
  Peter Hawkins, Peter J. Stuckey:
  A Hybrid BDD and SAT Finite Domain Constraint Solver. PADL 2006: 103-117
• 
  Yanhong A. Liu, Scott D. Stoller:
  Querying Complex Graphs. PADL 2006: 199-214
• 
  Ian MacLarty, Zoltan Somogyi:
  Controlling Search Space Materialization in a Practical Declarative Debugger. PADL 2006: 31-44
• 
  Zsolt Nagy, Gergely Lukácsy, Péter Szeredi:
  Translating Description Logic Queries to Prolog. PADL 2006: 168-182
• 
  Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo:
  Efficient Top-Down Set-Sharing Analysis Using Cliques. PADL 2006: 183-198
• 
  Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet:
  Using Dominators for Solving Constrained Path Problems. PADL 2006: 73-87
• 
  Diptikalyan Saha, C. R. Ramakrishnan:
  Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs. PADL 2006: 215-229
• 
  Jon Sneyers, Joost Vennekens, Danny De Schreye:
  Probabilistic-Logical Modeling of Music. PADL 2006: 60-72
• 
  Tiago Soares, Ricardo Rocha, Michel Ferreira:
  Generic Cut Actions for External Prolog Predicates. PADL 2006: 16-30
• 
  Zoltan Somogyi, Konstantinos Sagonas:
  Tabling in Mercury: Design and Implementation. PADL 2006: 150-167
• 
  Kris De Volder:
  JQuery: A Generic Code Browser with a Declarative Configuration Language. PADL 2006: 88-102
• 
  Bow-Yaw Wang:
  Automatic Verification of a Model Checker by Reflection. PADL 2006: 45-59
• 
  Pascal Van Hentenryck:
  Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings. Lecture Notes in Computer Science 3819, Springer 2006, ISBN 3-540-30947-0 [contents]