Data Mining-Based Decomposition for Solving the MAXSAT Problem: Toward a New Approach
Loading...
Date
2017-06
Journal Title
Journal ISSN
Volume Title
Publisher
IEEE
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.
Description
Keywords
MAXSAT problem, decomposition, data mining