Using graph-based models to understand transformation between CSP and SAT - Université d'Angers Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Using graph-based models to understand transformation between CSP and SAT

Fichier non déposé

Dates et versions

hal-04031269 , version 1 (15-03-2023)

Licence

Paternité

Identifiants

  • HAL Id : hal-04031269 , version 1

Citer

Vincent Barichard, Frédéric Lardeux, Claudia Vasconcellos-Gaete. Using graph-based models to understand transformation between CSP and SAT. 19ème congrès annuel de la société française de recherche opérationnelle et d'aide à la décision (ROADEF), 2018, Lorient, France. ⟨hal-04031269⟩

Collections

UNIV-ANGERS LERIA
13 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More