Article Dans Une Revue
Journal on Satisfiability, Boolean Modeling and Computation(JSAT)
Année : 2007
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00191092
Soumis le : vendredi 23 novembre 2007-16:43:33
Dernière modification le : mardi 31 octobre 2023-16:38:55
Dates et versions
Identifiants
- HAL Id : hal-00191092 , version 1
Citer
Christophe Lecoutre, Lahkdar Saïs, Sébastien Tabary, Vincent Vidal. Recording and Minimizing Nogoods from Restarts. Journal on Satisfiability, Boolean Modeling and Computation(JSAT), 2007, 1, pp.147-167. ⟨hal-00191092⟩
Collections
81
Consultations
0
Téléchargements