Communication Dans Un Congrès
Année : 2002
Fabien DELORME : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03300513
Soumis le : mardi 27 juillet 2021-10:37:20
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-03300513 , version 1
Citer
Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs. Recovering and exploiting structural knowledge from CNF formulas. Proc. of the Eighth International Conference on Principles and Practice of Constraint Programming (CP'2002), 2002, Ithaca (N.Y.), Unknown Region. pp.185-199. ⟨hal-03300513⟩
Collections
7
Consultations
0
Téléchargements