Communication Dans Un Congrès
Année : 2007
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00438054
Soumis le : mercredi 2 décembre 2009-09:37:44
Dernière modification le : samedi 10 février 2024-03:07:51
Dates et versions
Identifiants
- HAL Id : hal-00438054 , version 1
Citer
Gilles Audemard, L. Simon. GUNSAT : a greedy local search algorithm for unsatisfiability. International Joint Conference on Artificial Intelligence(IJCAI'07), Jan 2007, Hyderabad, India. pp.2256--2261. ⟨hal-00438054⟩
Collections
105
Consultations
0
Téléchargements