Skip to Main content Skip to Navigation
Conference papers

Coloration avec préférences : complexité, inégalités valides et vérification formelle

Sandrine Blazy 1 Benoit Robillard 1 Eric Soutif 1
1 CEDRIC - Centre d'études et de recherche en informatique et communications
Document type :
Conference papers
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01125409
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 11:08:52 AM
Last modification on : Monday, February 3, 2020 - 3:40:14 PM

Identifiers

  • HAL Id : hal-01125409, version 1

Collections

CNAM | CEDRIC-CNAM

Citation

Sandrine Blazy, Benoit Robillard, Eric Soutif. Coloration avec préférences : complexité, inégalités valides et vérification formelle. ROADEF'08, Clermont-Ferrand, 25-27 Février, Jan 2008, X, France. pp.123-138. ⟨hal-01125409⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

68