An efficient SAT encoding for solving The Social Golfer ProblemTuyen Van Kieu, Nguyen Tan Nguyen and Khanh Van ToRAIRO-Oper. Res., 60 1 (2026) 173-199DOI: https://doi.org/10.1051/ro/2025155
