Data Mining-Based Decomposition for Solving the MAXSAT Problem: Toward a New Approach | IEEE Journals & Magazine | IEEE Xplore