Subexponential fixed-parameter tractability of cluster editing
Sublinear Communication Protocols for Multi-Party Pointer Jumping and a Related Lower Bound
Sublogarithmic uniform Boolean proof nets
Subsampling Mathematical Relaxations and Average-case Complexity
Subspace Evasive Sets
Succinct quantum proofs for properties of finite groups
Succinctness of the Complement and Intersection of Regular Expressions
Succinctness of two-way probabilistic and quantum finite automata
Superiority of exact quantum automata for promise problems
Superiority of one-way and realtime quantum machines and new directions
Survey propagation: an algorithm for satisfiability
Swapping Lemmas for Regular and Context-Free Languages
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
Symmetric Determinantal Representation of Formulas and Weakly Skew Circuits
Symmetry and Uncountability of Computation
Symmetry of information and bounds on nonuniform randomness extraction via Kolmogorov extractors
Syntactic Characterisations of Polynomial-Time Optimisation Classes (Syntactic Characterizations of Polynomial-Time Optimization Classes)