Article ISI SCOPUS
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

Keywords: csp, constraint programming, Set constraints, SAT encoding, Social golfer problem

Más información

Título según WOS: Set constraint model and automated encoding into SAT: application to the social golfer problem
Título según SCOPUS: Set constraint model and automated encoding into SAT: application to the social golfer problem
Título de la Revista: Annals of Operations Research
Volumen: 235
Número: 1
Editorial: Kluwer Academic Publishers
Fecha de publicación: 2015
Página de inicio: 423
Página final: 452
Idioma: English
DOI:

10.1007/s10479-015-1914-5
Notas: ISI, SCOPUS