Communication Dans Un Congrès
Année : 2006
Arnaud Lallouet : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00085495
Soumis le : mercredi 12 juillet 2006-15:58:17
Dernière modification le : samedi 25 juin 2022-10:10:48
Dates et versions
Identifiants
- HAL Id : hal-00085495 , version 1
Citer
Arnaud Lallouet, Andrei Legtchenko. From Satisfiability to Consistency through Certificates. Application to Partially Defined Constraints. 2006, pp.?-?. ⟨hal-00085495⟩
Collections
38
Consultations
0
Téléchargements