TY  - RPRT
TI  - Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem
AU  - Frédéric Lardeux
AU  - Eric Monfroy
AU  - Broderick Crawford
AU  - Ricardo Soto
PY  - 2014
UR  - https://arxiv.org/abs/1406.7196
ID  - 1406.7196
ER  -