• 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 35 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)
• 2023
• 
  Weiming Feng, Heng Guo, Mark Jerrum, Jiaheng Wang:
  A simple polynomial-time approximation algorithm for the total variation distance between two product distributions. TheoretiCS 2 (2023)
• 
  Srikanth Srinivasan:
  A Robust Version of Hegedűs's Lemma, with Applications. TheoretiCS 2 (2023)
• 
  Oded Goldreich, Dana Ron:
  Testing Distributions of Huge Objects. TheoretiCS 2 (2023)
• 
  Noga Alon, Alon Gonen, Elad Hazan, Shay Moran:
  Boosting Simple Learners. TheoretiCS 2 (2023)
• 
  Sepehr Assadi, Pankaj Kumar, Parth Mittal:
  Brooks' Theorem in Graph Streams: A Single-Pass Semi-Streaming Algorithm for Δ-Coloring. TheoretiCS 2 (2023)
• 
  Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani:
  Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. TheoretiCS 2 (2023)
• 
  Patricia Bouyer, Mickael Randour, Pierre Vandenhove:
  Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs. TheoretiCS 2 (2023)
• 
  Joshua Brakensiek, Venkatesan Guruswami, Sai Sandeep:
  Conditional Dichotomy of Boolean Ordered Promise CSPs. TheoretiCS 2 (2023)
• 
  David Eppstein:
  The Complexity of Iterated Reversible Computation. TheoretiCS 2 (2023)

skipping 5 more matches