Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis. - Knot Pipatsrisawat; Akop Palyan; Mark Chavira; Arthur Choi; Adnan Darwiche (J. Satisf. Boolean Model. Comput., 2008)