A new approach decomposes a MAXSAT instance and then applies clustering via data mining decomposition techniques, with every cluster resulting from the decomposition separately solved to
construct a partial solution. All partial solutions are then merged to build the global solution.
