Expressively Modeling the Social Golfer Problem in SAT.

Frdric Lardeux, ric Monfroy

Browse the full ICCS paper archive.