Should Algorithms for Random SAT and Max-SAT Be Different?

Open in new window