Set constraint model and automated encoding into SAT: application to the social golfer problem - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Annals of Operations Research Année : 2015

Dates et versions

hal-01234185 , version 1 (26-11-2015)

Identifiants

Citer

Eric Monfroy, Frédéric Lardeux, Broderick Crawford, Ricardo Soto. Set constraint model and automated encoding into SAT: application to the social golfer problem. Annals of Operations Research, 2015, ⟨10.1007/s10479-015-1914-5⟩. ⟨hal-01234185⟩
149 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More