P
Initializing...
Fast Orthogonal Vectors gives fast sparse $k$-SAT on the word RAM · Prove2Me