Communication Dans Un Congrès
Année : 2004
Fabien DELORME : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03300804
Soumis le : mardi 27 juillet 2021-12:08:13
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-03300804 , version 1
Citer
Daniel Le Berre, Anne Parrain, Olivier Roussel. The long way from conflict driven clause learning to conflict driven constraint learning. Guangzhou Symposium on Satisfiability and its applications (Guangzhou04), 2004, Guangzhou, China. ⟨hal-03300804⟩
Collections
22
Consultations
0
Téléchargements