UWrMaxSat: Efficient Solver for MaxSAT and Pseudo-Boolean Problems | IEEE Conference Publication | IEEE Xplore