3 ms·
It's an excellent comparison to SAT, because in both cases nobody cares about random instances at all. For non-random instances the ratio of clauses to variabl
by oldgradstudent 3y ago
It's an excellent comparison to SAT, because in both cases nobody cares about random instances at all.
For non-random instances the ratio of clauses to variables in is utterly meaningless.