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

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

Eric Monfroy
  • Fonction : Auteur
  • PersonId : 947224
Theory, Algorithms and Systems for Constraints
Frédéric Lardeux
Laboratoire d'Etudes et de Recherche en Informatique d'Angers
CV
Broderick Crawford
  • Fonction : Auteur
  • PersonId : 961606
Escuela de Ingenieria Informatica [Valparaíso]
Ricardo Soto
  • Fonction : Auteur
  • PersonId : 961605
Escuela de Ingenieria Informatica [Valparaíso]

Domaines

Informatique [cs] Intelligence artificielle [cs.AI]

Anicet BART  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01234185

Soumis le : jeudi 26 novembre 2015-13:18:43

Dernière modification le : vendredi 5 janvier 2024-03:25:39

Consulter le texte intégral

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS INRIA UNIV-ANGERS LINA INRIA-CHILE INRIA2 LS2N LERIA NANTES-UNIVERSITE
166 Consultations
0 Téléchargements

Altmetric

Partager

More