Skip to Main content Skip to Navigation
Book sections

Pseudo-Boolean and Cardinality Constraints

Document type :
Book sections
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00870005
Contributor : Francois Chevallier Connect in order to contact the contributor
Submitted on : Friday, October 4, 2013 - 4:11:54 PM
Last modification on : Wednesday, October 20, 2021 - 9:58:20 AM

Identifiers

  • HAL Id : hal-00870005, version 1

Collections

Citation

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⟩

Share

Metrics

Les métriques sont temporairement indisponibles