Find link

language:

jump to random article

Find link is a tool written by Edward Betts.

searching for MAX-3SAT 1 found (11 total)

alternate case: mAX-3SAT

PLS (complexity) (5,456 words) [view diff] case mismatch in snippet view article

Positive-not-all-equal-max-3Sat/Flip has been proven to be PLS-complete via a tight PLS-reduction from Min/Max-circuit/Flip to Positive-not-all-equal-max-3Sat/Flip. Note