@misc{indiciae74b3866d2286,
  title = {Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem},
  author = {Frédéric Lardeux and Eric Monfroy and Broderick Crawford and Ricardo Soto},
  year = {2014},
  url = {https://arxiv.org/abs/1406.7196},
  note = {Source identifier: 1406.7196}
}