Adding cardinality constraints to integer programs with applications to maximum satisfiability. - Markus Bläser; Thomas Heynen; Bodo Manthey (Inf. Process. Lett., 2008)