Communication Dans Un Congrès
Année : 2014
Emmanuel Lonca : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-02380772
Soumis le : mardi 26 novembre 2019-13:43:13
Dernière modification le : lundi 30 octobre 2023-10:55:07
Dates et versions
Identifiants
- HAL Id : hal-02380772 , version 1
Citer
Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey. Détection de contraintes de cardinalité dans les CNF. 10èmes Journées Francophones de Programmation par Contraintes (JFPC'14), 2014, Angers, France. pp.253-262. ⟨hal-02380772⟩
Collections
76
Consultations
0
Téléchargements