Communication Dans Un Congrès
Année : 2005
Connectez-vous pour contacter le contributeur
https://hal.science/hal-00460851
Soumis le : mardi 2 mars 2010-16:21:13
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-00460851 , version 1
Citer
Olivier Roussel. Some notes on the implementation of csp2sat+zchaff, a simple translator from CSP to SAT. Second International Workshop on Constraint Propagation and Implementation(CPAI05), Oct 2005, Sitges, Spain. pp.83-88. ⟨hal-00460851⟩
Collections
113
Consultations
0
Téléchargements