Communication Dans Un Congrès
Année : 2013
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00869924
Soumis le : vendredi 4 octobre 2013-14:45:54
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-00869924 , version 1
Citer
Daniel Le Berre, Emmanuel Lonca. Réutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne. 9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13), 2013, Aix-en-Provence, France. pp.185-194. ⟨hal-00869924⟩
Collections
40
Consultations
0
Téléchargements