research
∙
06/30/2022
On the Number of Quantifiers as a Complexity Measure
In 1981, Neil Immerman described a two-player game, which he called the ...
share
research
∙
07/06/2021
MAJORITY-3SAT (and Related Problems) in Polynomial Time
Majority-SAT is the problem of determining whether an input n-variable f...
research
∙
11/07/2020
Fast Low-Space Algorithms for Subset Sum
We consider the canonical Subset Sum problem: given a list of positive i...
research
∙
11/29/2018
