We give an efficient algorithm to strongly refute semi-random
instances ...
We present a new O(k^2 nk^2) method for generating an orthogonal
basis o...
We review André Luiz Barbosa's paper "P != NP Proof," in which the class...
In this work, we summarize and critique the paper "Understanding SAT is ...