Expressively Modeling the Social Golfer Problem into SAT - Lardeux, Frédéric; Monfroy, Eric (CCSD, 2015)
In press International audience