\input zb-basic
\input zb-ioport
\iteman{io-port 60019103}
\itemau{Roussel, Olivier; Manquinho, Vasco M.}
\itemti{Pseudo-Boolean and cardinality constraints}
\itemso{Handbook of Satisfiability, 695-733 (2009).}
\itemcc{}
\itemut{}
\itemli{doi:10.3233/978-1-58603-929-5-695}
\end