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

Fecha de emisión

2015

Autor(es)

Lardeux F.

Monfroy E.

Crawford B.

Facultad de Ingeniería

DOI

10.1007/s10479-015-1914-5

Temas

Archivo(s)

Name

item_2s2.084948077628.pdf

Size

2.02 KB

Format

Checksum