Set constraint model and automated encoding into SAT: application to the social golfer problem. - Lardeux, Frédéric; Monfroy, Eric; Crawford, Broderick; Soto, Ricardo (Annals of Operations Research, 2015)