Communication Dans Un Congrès
Année : 2005
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01418191
Soumis le : vendredi 16 décembre 2016-14:12:41
Dernière modification le : mardi 11 avril 2023-15:16:28
Dates et versions
Identifiants
- HAL Id : hal-01418191 , version 1
Citer
Olivier Dubois, Gilles Dequen. KCNFS solver. SAT 2005 - 8th International Conference on Theory and Applications of Satisfiability Testing, Jun 2005, St. Andrews, Scotland, United Kingdom. pp.486-501. ⟨hal-01418191⟩
Collections
43
Consultations
0
Téléchargements