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

• 2024
• 
  Lijie Chen, Ce Jin, Rahul Santhanam, Ryan Williams:
  Constructive Separations and Their Consequences. TheoretiCS 3 (2024)
• 
  Mikkel Abrahamsen, Tillmann Miltzow, Nadja Seiferth:
  Framework for ∃ ℝ-Completeness of Two-Dimensional Packing Problems. TheoretiCS 3 (2024)
• 
  Josh Alman, Virginia Vassilevska Williams:
  A Refined Laser Method and Faster Matrix Multiplication. TheoretiCS 3 (2024)
• 
  Costin Badescu, Ryan O'Donnell:
  Improved quantum data analysis. TheoretiCS 3 (2024)
• 
  Libor Barto, Zarathustra Brady, Andrei Bulatov, Marcin Kozik, Dmitriy Zhuk:
  Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras. TheoretiCS 3 (2024)
• 
  Davide Bilò, Shiri Chechik, Keerti Choudhary, Sarel Cohen, Tobias Friedrich, Simon Krogmann, Martin Schirneck:
  Approximate Distance Sensitivity Oracles in Subquadratic Space. TheoretiCS 3 (2024)
• 
  León Bohn, Christof Löding:
  Constructing Deterministic Parity Automata from Positive and Negative Examples. TheoretiCS 3 (2024)
• 
  Mikolaj Bojanczyk, Joanna Fijalkow, Bartek Klin, Joshua Moerman:
  Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata. TheoretiCS 3 (2024)
• 
  Antonio Casares, Thomas Colcombet, Nathanaël Fijalkow, Karoliina Lehtinen:
  From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History) Determinism. TheoretiCS 3 (2024)
• 
  Zongchen Chen, Kuikui Liu, Eric Vigoda:
  Spectral Independence via Stability and Applications to Holant-Type Problems. TheoretiCS 3 (2024)
• 
  Yeshwanth Cherapanamjeri, Jelani Nelson:
  Terminal Embeddings in Sublinear Time. TheoretiCS 3 (2024)
• 
  Vincent Cheval, Steve Kremer, Itsaka Rakotonirina:
  DeepSec: Deciding Equivalence Properties for Security Protocols - Improved theory and practice. TheoretiCS 3 (2024)
• 
  Manik Dhar, Zeev Dvir:
  Linear Hashing with ℓ_∞ guarantees and two-sided Kakeya bounds. TheoretiCS 3 (2024)
• 
  Irit Dinur, Yuval Filmus, Prahladh Harsha:
  Sparse juntas on the biased hypercube. TheoretiCS 3 (2024)
• 
  Max Hopkins, Daniel M. Kane, Shachar Lovett, Gaurav Mahajan:
  Realizable Learning is All You Need. TheoretiCS 3 (2024)
• 
  Tillmann Miltzow, Reinier F. Schmiermann:
  On Classifying Continuous Constraint Satisfaction Problems. TheoretiCS 3 (2024)
• 
  Laure Morelle, Ignasi Sau, Giannos Stamoulis, Dimitrios M. Thilikos:
  Faster parameterized algorithms for modification problems to minor-closed classes. TheoretiCS 3 (2024)
• 
  Ilan Newman, Nithin Varma:
  Strongly Sublinear Algorithms for Testing Pattern Freeness. TheoretiCS 3 (2024)
• 
  Jakob Piribauer, Christel Baier:
  Positivity-hardness results on Markov decision processes. TheoretiCS 3 (2024)
• 
  David E. Roberson, Tim Seppelt:
  Lasserre Hierarchy for Graph Isomorphism and Homomorphism Indistinguishability. TheoretiCS 3 (2024)
• 
  Dominik Scheder:
  PPSZ is better than you think. TheoretiCS 3 (2024)