On the relations between SAT and CSP enumerative algorithms
Résumé
no abstract
Article Dans Une Revue
Discrete Applied Mathematics
Année : 2000
William Domingues Vinhas : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-01479601
Soumis le : mardi 28 février 2017-20:40:06
Dernière modification le : mardi 5 décembre 2023-18:08:07
Dates et versions
Identifiants
- HAL Id : hal-01479601 , version 1
Citer
Genisson R., Philippe Jégou. On the relations between SAT and CSP enumerative algorithms. Discrete Applied Mathematics, 2000, 107, pp.27-40. ⟨hal-01479601⟩
77
Consultations
0
Téléchargements