Article Dans Une Revue
Annals of Mathematics and Artificial Intelligence
Année : 2009
Khalil Djelloul : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00460806
Soumis le : mardi 2 mars 2010-15:19:23
Dernière modification le : samedi 25 juin 2022-10:11:01
Dates et versions
Identifiants
- HAL Id : hal-00460806 , version 1
Citer
Khalil Djelloul. A full first-order constraints solver for decomposable theories. Annals of Mathematics and Artificial Intelligence, 2009, pp.56(1):43-64. ⟨hal-00460806⟩
Collections
42
Consultations
0
Téléchargements