Frédéric Lardeux, Eric Monfroy. Expressively Modeling the Social Golfer Problem in SAT. In Slawomir Koziel, Leifur Þ. Leifsson, Michael Lees, Valeria V. Krzhizhanovskaya, Jack Dongarra, Peter M. A. Sloot, editors, Proceedings of the International Conference on Computational Science, ICCS 2015, Computational Science at the Gates of Nature, Reykjavík, Iceland, 1-3 June, 2015, 2014. Volume 51 of Procedia Computer Science, pages 336-345, Elsevier, 2015. [doi]
Abstract is missing.