An efficient SAT encoding for solving The Social Golfer Problem. - Tuyen Van Kieu; Nguyen Tan Nguyen; Khanh Van To (RAIRO Oper. Res., 2026)