Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem

Open in new window