Inference Rules in Local Search for Max-SAT | IEEE Conference Publication | IEEE Xplore