Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers | IEEE Conference Publication | IEEE Xplore