first of all, it's not P=NP - it would be NC=NP. If you nitpick, then at least do it right
and secondly, when "normal bloody people" talk about parallelizing, we don't mean exponential speedup - we mean using 4 cores in hopes of getting 3x time shrinking
and cube'n'conquer does exactly that - and have been the standard tool in SAT solving for forever
and secondly, when "normal bloody people" talk about parallelizing, we don't mean exponential speedup - we mean using 4 cores in hopes of getting 3x time shrinking
and cube'n'conquer does exactly that - and have been the standard tool in SAT solving for forever