Solution counting for CSP and SAT with large tree-width
Résumé
no abstract
Article Dans Une Revue
Control Systems and Computers
Année : 2011
William Domingues Vinhas : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-01479554
Soumis le : mardi 28 février 2017-20:39:07
Dernière modification le : mardi 5 décembre 2023-18:08:07
Dates et versions
Identifiants
- HAL Id : hal-01479554 , version 1
Citer
Aurélie Favier, Philippe Jégou, Simon De Givry. Solution counting for CSP and SAT with large tree-width. Control Systems and Computers, 2011, 2, pp.4-13. ⟨hal-01479554⟩
Collections
87
Consultations
0
Téléchargements