Communication Dans Un Congrès
Année : 2005
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00460869
Soumis le : mardi 2 mars 2010-16:38:38
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-00460869 , version 1
Citer
Daniel Le Berre. CSP2SAT4J: A Simple CSP to SAT translator. Second International Workshop on Constraint Propagation and Implementation(CPAI05), Oct 2005, Sitges, Spain. pp.59-66. ⟨hal-00460869⟩
Collections
39
Consultations
0
Téléchargements