Expressively Modeling the Social Golfer Problem into SAT - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Expressively Modeling the Social Golfer Problem into SAT

Frédéric Lardeux
Laboratoire d'Etudes et de Recherche en Informatique d'Angers
CV
Eric Monfroy
Theory, Algorithms and Systems for Constraints

Domaines

Intelligence artificielle [cs.AI]

Eric Monfroy  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01146271

Soumis le : mardi 28 avril 2015-10:09:04

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

Fichier non déposé

Dates et versions

hal-01146271 , version 1 (28-04-2015)

Identifiants

  • HAL Id : hal-01146271 , version 1

Citer

Frédéric Lardeux, Eric Monfroy. Expressively Modeling the Social Golfer Problem into SAT. International Conference on Computational Science - ICCS 2015, Jun 2015, Reykjavík, Iceland. ⟨hal-01146271⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

Gmail Facebook X LinkedIn More