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

Djenouri, YoucefHabbas, ZinebDjenouri, Djamel2017-12-172017-12-172017-061541-1672http://dl.cerist.dz/handle/CERIST/905A 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.MAXSAT problemdecompositiondata miningData Mining-Based Decomposition for Solving the MAXSAT Problem: Toward a New ApproachArticle