research
∙
09/17/2020
Strongly refuting all semi-random Boolean CSPs
We give an efficient algorithm to strongly refute semi-random instances ...
share
research
∙
12/11/2018
A Non-iterative Parallelizable Eigenbasis Algorithm for Johnson Graphs
We present a new O(k^2 nk^2) method for generating an orthogonal basis o...
research
∙
11/20/2017
Critique of Barbosa's "P != NP Proof"
We review André Luiz Barbosa's paper "P != NP Proof," in which the class...
research
∙
11/13/2017