Cs-Cc
New separation between $s(f)$ and $bs(f)$
A structural model of intuitive probability
Turing degrees of multidimensional SFTs
Improved Soundness for QMA with Multiple Provers
Why Philosophers Should Care About Computational Complexity
Gadgets and Anti-Gadgets Leading to a Complexity Dichotomy
PPT: New Low Complexity Deterministic Primality Tests Leveraging Explicit and Implicit Non-Residues. A Set of Three Companion Manuscripts
A SWAR Approach to Counting Ones
Simplicity Effects in the Experience of Near-Miss
Width-parameterized SAT: Time-Space Tradeoffs
Noise effects in the quantum search algorithm from the computational complexity point of view
Tight bounds for the space complexity of nonregular language recognition by real-time machines
Word posets, with applications to Coxeter groups
Grothendieck-type inequalities in combinatorial optimization
A New General-Purpose Method to Multiply 3x3 Matrices Using Only 23 Multiplications
3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General
A Relation between the Protocol Partition Number and the Quasi-Additive Bound
Complexity of Model Checking for Modal Dependence Logic
Minimum k-path vertex cover
Practical Verified Computation with Streaming Interactive Proofs
Arc Consistency and Friends
Tiling-Recognizable Two-Dimensional Languages: From Non-Determinism to Determinism through Unambiguity
