Generating Weighted MAX-2-SAT Instances of Tunable Difficulty with Frustrated Loops

Open in new window