Guaranteed Diversity & Quality for the Weighted CSP | IEEE Conference Publication | IEEE Xplore