@article{setconstraintmodelandautomatedencoding,
  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},
  eprint = {1406.7196},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1406.7196v2},
}