Chapitre D'ouvrage
Année : 2009
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00870005
Soumis le : vendredi 4 octobre 2013-16:11:54
Dernière modification le : mercredi 28 février 2024-19:34:01
Dates et versions
Identifiants
- HAL Id : hal-00870005 , version 1
Citer
Vasco Manquinho, Olivier Roussel. Pseudo-Boolean and Cardinality Constraints. Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsh. Handbook of Satisfiability,, IOS Press, pp.695-733, 2009, volume 2. ⟨hal-00870005⟩
Collections
61
Consultations
0
Téléchargements