Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Solving complex problems using model transformations: from set constraint modeling to SAT instance solving

Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-02945710
Contributeur : Eric Monfroy <>
Soumis le : mardi 22 septembre 2020 - 15:05:03
Dernière modification le : mercredi 23 septembre 2020 - 04:20:59

Identifiants

Collections

Citation

Frédéric Lardeux, Éric Monfroy, Eduardo Rodriguez-Tello, Broderick Crawford, Ricardo Soto. Solving complex problems using model transformations: from set constraint modeling to SAT instance solving. Expert Systems with Applications, Elsevier, 2020, 149, pp.113243. ⟨10.1016/j.eswa.2020.113243⟩. ⟨hal-02945710⟩

Partager

Métriques

Consultations de la notice

12