Article
Annals of Operations Research  (2015)

Set constraint model and automated encoding into SAT: application to the social golfer problem

Lardeux F.; Monfroy E.; Crawford B.; Soto R.

Más información

Título de la Revista: Annals of Operations Research
Volumen: 235
Asunto: 1
Editorial: Kluwer Academic Publishers
Fecha de publicación: 2015
Página de inicio: 423
Página final: 452
DOI/URL:

10.1007/s10479-015-1914-5