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

Sixue Liu, Gerard de Melo

Browse the full AAAI paper archive.