@incollection{OlivierRoussel__2021,
   author = "Olivier Roussel and Vasco Manquinho",
   booktitle = "Handbook of Satisfiability - Second Edition",
   title = "Pseudo-Boolean and Cardinality Constraints",
   publisher = "IOS Press",
   year = 2021,
   BibTexOrigem = "18113 www.Inesc-ID.pt 2023-10-03"
}