Algorithmic sparsification: fast sparse $k$-SAT gives fast $k$-SAT on the word RAM · Prove2Me

P

Initializing...

Algorithmic sparsification: fast sparse $k$-SAT gives fast $k$-SAT on the word RAM · Prove2Me