Communication Dans Un Congrès
Année : 2012
Laurent Simon : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00790508
Soumis le : mercredi 20 février 2013-13:46:56
Dernière modification le : samedi 2 mars 2024-09:27:54
Dates et versions
Identifiants
- HAL Id : hal-00790508 , version 1
Citer
Gilles Audemard, Laurent Simon. Refining restarts strategies for SAT and UNSAT formulae. 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec City, Canada. ⟨hal-00790508⟩
Collections
91
Consultations
0
Téléchargements