Communication Dans Un Congrès
Année : 2012
Laurent Simon : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00845494
Soumis le : mercredi 17 juillet 2013-11:30:52
Dernière modification le : samedi 10 février 2024-03:07:54
Dates et versions
Identifiants
- HAL Id : hal-00845494 , version 1
Citer
Gilles Audemard, Laurent Simon. Glucose 2.1: Aggressive - but Reactive - Clause Database Management, Dynamic Restarts. International Workshop of Pragmatics of SAT (Affiliated to SAT), Jun 2012, Trento, Italy. ⟨hal-00845494⟩
Collections
301
Consultations
0
Téléchargements