Generating Hard Instances for MaxSAT | IEEE Conference Publication | IEEE Xplore