Exploiting Cardinality Encodings in Parallel Maximum Satisfiability | IEEE Conference Publication | IEEE Xplore