Should Algorithms for Random SAT and Max-SAT be Different? | Read Paper on Bytez