Communication Dans Un Congrès
Année : 2008
Connectez-vous pour contacter le contributeur
https://hal.science/hal-00460817
Soumis le : mardi 2 mars 2010-15:42:02
Dernière modification le : mardi 12 août 2025-15:30:05
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
72
Consultations
0
Téléchargements