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

Simple item page
dc.contributor.authorDjenouri, Youcef
dc.contributor.authorHabbas, Zineb
dc.contributor.authorDjenouri, Djamel
dc.date.accessioned2017-12-17T13:20:09Z
dc.date.available2017-12-17T13:20:09Z
dc.date.issued2017-06
dc.description.abstractA 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.fr_FR
dc.identifier.issn1541-1672fr_FR
dc.identifier.urihttp://dl.cerist.dz/handle/CERIST/905
dc.publisherIEEEfr_FR
dc.relation.ispartofseriesIEEE Intelligent Systems Magazine;2017
dc.relation.pages48-58fr_FR
dc.structureRéseaux de capteurs et Applicationsfr_FR
dc.subjectMAXSAT problemfr_FR
dc.subjectdecompositionfr_FR
dc.subjectdata miningfr_FR
dc.titleData Mining-Based Decomposition for Solving the MAXSAT Problem: Toward a New Approachfr_FR
dc.typeArticle
Files
Collections
International Journal Papers