M. Triska, N. Musliu:
"An Improved SAT Formulation for the Social Golfer Problem";
Talk: The 7th International Conference on the Practice and Theory of Automated Timetabling, Montreal, Canada; 2008-08-19 - 2008-08-22; in: "Proceedings of PATAT 2008 - The 7th International Conference on the Practice and Theory of Automated Timetabling", (2008), 13 pages.