On MAX-SAT with Cardinality Constraint.

Fahad Panolan, Hannane Yaghoubizade

Browse the full WALCOM paper archive.