Article Dans Une Revue
Theoretical Computer Science
Année : 1999
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02531434
Soumis le : vendredi 3 avril 2020-16:34:20
Dernière modification le : mardi 3 septembre 2024-13:56:20
Dates et versions
Identifiants
- HAL Id : hal-02531434 , version 1
- DOI : 10.1016/S0304-3975(95)00184-0
Citer
Yacine Boufkhad, Olivier Dubois. Length of Prime Implicants and number of solutions de random CNF formulae. Theoretical Computer Science, 1999, 215 (1-2), pp.1-30. ⟨10.1016/S0304-3975(95)00184-0⟩. ⟨hal-02531434⟩
Collections
12
Consultations
0
Téléchargements