A Probability Distribution Strategy with Efficient Clause Selection for Hard Max-SAT Formulas. - Sixue Liu; Yulong Ceng; Gerard de Melo (CoRR, 2016)