2 ms·
People have been looking for one of these for decades. Guess Moore's Law (and SAT solvers) have finally caught up to this problem!
by dvgrn 9y ago
People have been looking for one of these for decades. Guess Moore's Law (and SAT solvers) have finally caught up to this problem!