Deep Cooperation of Local Search and Unit Propagation Techniques. - Xiamin Chen; Zhendong Lei; Pinyan Lu (CP, 2024)