research
∙
12/23/2022
A Closer Look at Some Recent Proof Compression-Related Claims
Gordeev and Haeusler [GH19] claim that each tautology ρ of minimal propo...
share
research
∙
12/09/2022
A Critique of Sopin's "PH = PSPACE"
We critique Valerii Sopin's paper "PH = PSPACE" [Sop14]. The paper clai...
research
∙
07/07/2022
Search versus Search for Collapsing Electoral Control Types
Electoral control types are ways of trying to change the outcome of elec...
research
∙
07/02/2022
Separating and Collapsing Electoral Control Types
[HHM20] discovered, for 7 pairs (C,D) of seemingly distinct standard ele...
research
∙
05/06/2022
Defying Gravity: The Complexity of the Hanano Puzzle
Liu and Yang [LY19] recently proved the Hanano Puzzle to be NP-≤_m^p-har...
research
∙
12/11/2021