Article Dans Une Revue
Journal on Satisfiability, Boolean Modeling and Computation (JSAT)
Année : 2009
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00868103
Soumis le : mardi 1 octobre 2013-10:00:16
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-00868103 , version 1
Citer
Youssef Hamadi, Said Jabbour, Lakhdar Saïs. SAT: a parallel SAT solver. Journal on Satisfiability, Boolean Modeling and Computation (JSAT), 2009, 6, pp.245-262. ⟨hal-00868103⟩
Collections
220
Consultations
0
Téléchargements