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

• 2021
• 
  Huairui Chu, Mingyu Xiao, Zhe Zhang:
  An improved upper bound for SAT. Theor. Comput. Sci. 887: 51-62 (2021)
• 
  Mohsen Eftekhari, Paola Flocchini, Lata Narayanan, Jaroslav Opatrny, Nicola Santoro:
  On synchronization and orientation in distributed barrier coverage with relocatable sensors. Theor. Comput. Sci. 887: 1-10 (2021)
• 
  Pascal Koiran, Mateusz Skomra:
  Derandomization and absolute reconstruction for sums of powers of linear forms. Theor. Comput. Sci. 887: 63-84 (2021)
• 
  Paloma T. Lima, Erik Jan van Leeuwen, Marieke van der Wegen:
  Algorithms for the rainbow vertex coloring problem on graph classes. Theor. Comput. Sci. 887: 122-142 (2021)
• 
  Yuhang Lin, Limei Lin, Yanze Huang, Jiaru Wang:
  The t/s-diagnosability and t/s-diagnosis algorithm of folded hypercube under the PMC/MM* model. Theor. Comput. Sci. 887: 85-98 (2021)
• 
  Anisur Rahaman Molla, Kaushik Mondal, William K. Moses Jr.:
  Optimal dispersion on an anonymous ring in the presence of weak Byzantine robots. Theor. Comput. Sci. 887: 111-121 (2021)
• 
  Suthee Ruangwises, Toshiya Itoh:
  Securely computing the n-variable equality function with 2n cards. Theor. Comput. Sci. 887: 99-110 (2021)
• 
  Frédéric Simard, Josée Desharnais, François Laviolette:
  General Cops and Robbers games with randomness. Theor. Comput. Sci. 887: 30-50 (2021)
• 
  Sihong Su, Jingjing Li, Bingxin Wang:
  A new construction of odd-variable rotation symmetric Boolean functions with optimal algebraic immunity and higher nonlinearity. Theor. Comput. Sci. 887: 152-163 (2021)
• 
  Ryo Sugahara, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda:
  Efficiently computing runs on a trie. Theor. Comput. Sci. 887: 143-151 (2021)
• 
  Takahiro Yakami, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita:
  Searching for an evader in an unknown dark cave by an optimal number of asynchronous searchers. Theor. Comput. Sci. 887: 11-29 (2021)