A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size.

Mario Alviano, Carmine Dodaro, Francesco Ricca

Browse the full IJCAI paper archive.