Dealing with Satisfiability and n-ary CSPs in a logical framework
Résumé
no abstract
Article Dans Une Revue
Journal of Automated Reasoning
Année : 2012
William Domingues Vinhas : Connectez-vous pour contacter le contributeur
https://amu.hal.science/hal-01479548
Soumis le : mardi 28 février 2017-20:39:00
Dernière modification le : mardi 5 décembre 2023-18:08:07
Dates et versions
Identifiants
- HAL Id : hal-01479548 , version 1
Citer
Belaïd Benhamou, Lionel Paris, Pierre Siegel. Dealing with Satisfiability and n-ary CSPs in a logical framework. Journal of Automated Reasoning, 2012, 48 (3), pp.391-417. ⟨hal-01479548⟩
Collections
58
Consultations
0
Téléchargements