Communication Dans Un Congrès
Année : 2008
Khalil Djelloul : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00460813
Soumis le : mardi 2 mars 2010-15:40:10
Dernière modification le : samedi 25 juin 2022-10:11:01
Dates et versions
Identifiants
- HAL Id : hal-00460813 , version 1
Citer
Khalil Djelloul. A full first-order constraint solver for decomposable theories. International Conference on Artificial Intelligence and Symbolic Computation, Aug 2008, United Kingdom. pp.vol (5144):93-108. ⟨hal-00460813⟩
Collections
28
Consultations
0
Téléchargements