/k-flip-sat

A k-flip local search algorithm for SAT and MAX SAT.

Watchers