An Empirical Study of Encodings for Group MaxSAT.

Federico Heras, Antnio Morgado, Joo Marques-Silva

Browse the full AI paper archive.