Relationship between success ratios of hybrid algorithms and those of basic algorithms on bimodal MaxSAT problems | IEEE Conference Publication | IEEE Xplore