A Complete Resolution Calculus for Signed Max-SAT | IEEE Conference Publication | IEEE Xplore