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

Open in new window