Communication Dans Un Congrès
Année : 2008
Khalil Djelloul : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00460817
Soumis le : mardi 2 mars 2010-15:42:02
Dernière modification le : samedi 25 juin 2022-10:11:01
Dates et versions
Identifiants
- HAL Id : hal-00460817 , version 1
Citer
Khalil Djelloul. Combination of decomposability and propagation for solving first-order constraints in decomposable theories.. ACM Symposium on Applied computing, Mar 2008, France. pp.1728-1732. ⟨hal-00460817⟩
Collections
31
Consultations
0
Téléchargements