A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size

Open in new window