Communication Dans Un Congrès
Année : 2010
Laurent Simon : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00543640
Soumis le : lundi 6 décembre 2010-14:29:47
Dernière modification le : samedi 10 février 2024-03:07:50
Dates et versions
Identifiants
- HAL Id : inria-00543640 , version 1
Citer
Laurent Simon, Gilles Audemard, George Katsirelos. Une restriction de la résolution étendue pour les démonstrateurs SAT modernes. JFPC, Jun 2010, Orléans, France. ⟨inria-00543640⟩
Collections
409
Consultations
0
Téléchargements