Data Mining-Based Decomposition for Solving the MAXSAT Problem: Toward a New Approach

Abstract

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.