RAIRO - Operations Research

An efficient SAT encoding for solving The Social Golfer Problem

Tuyen Van Kieu, Nguyen Tan Nguyen and Khanh Van To

RAIRO-Oper. Res., 60 1 (2026) 173-199

Published online: 23 February 2026

DOI: 10.1051/ro/2025155

Tuyen Van Kieu

Nguyen Tan Nguyen

Khanh Van To

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)