Matches in SemOpenAlex for { <https://semopenalex.org/work/W2620698874> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2620698874 abstract "We introduce a diversified top-k partial MaxSAT problem, a combination of partial MaxSAT problem and enumeration problem. Given a partial MaxSAT formula F and a positive integer k, the diversified top-k partial MaxSAT is to find k maximal solutions for F such that the k maximal solutions satisfy the maximum number of soft clauses of F. This problem can be widely used in many applications including community detection, sensor place, motif discovery, and combinatorial testing. We prove the problem is NP-hard and propose an approach for solving the problem. The concrete idea of the approach is to design an encoding EE which reduces diversified top-k partial MaxSAT problem into partial MaxSAT problem, and then solve the resulting problem with state-of-art solvers. In addition, we present an algorithm MEMKC exactly solving the diversified top-k partial MaxSAT. Through several experiments we show that our approach can be successfully applied to the interesting problem." @default.
- W2620698874 created "2017-06-09" @default.
- W2620698874 creator A5007299136 @default.
- W2620698874 creator A5023555343 @default.
- W2620698874 creator A5027516492 @default.
- W2620698874 creator A5041873770 @default.
- W2620698874 creator A5050061433 @default.
- W2620698874 creator A5052893110 @default.
- W2620698874 date "2017-05-31" @default.
- W2620698874 modified "2023-09-28" @default.
- W2620698874 title "Diversified Top-k Partial MaxSAT Solving" @default.
- W2620698874 cites W1517928915 @default.
- W2620698874 cites W1970187347 @default.
- W2620698874 cites W1983365058 @default.
- W2620698874 cites W1986531046 @default.
- W2620698874 cites W2061820396 @default.
- W2620698874 cites W2075699551 @default.
- W2620698874 cites W2090200605 @default.
- W2620698874 cites W2122796178 @default.
- W2620698874 cites W2128204165 @default.
- W2620698874 cites W2131292691 @default.
- W2620698874 cites W2140209083 @default.
- W2620698874 cites W2185680923 @default.
- W2620698874 cites W2245333128 @default.
- W2620698874 cites W2321167683 @default.
- W2620698874 cites W2544700366 @default.
- W2620698874 cites W2574936669 @default.
- W2620698874 cites W2604438066 @default.
- W2620698874 doi "https://doi.org/10.48550/arxiv.1706.00123" @default.
- W2620698874 hasPublicationYear "2017" @default.
- W2620698874 type Work @default.
- W2620698874 sameAs 2620698874 @default.
- W2620698874 citedByCount "0" @default.
- W2620698874 crossrefType "posted-content" @default.
- W2620698874 hasAuthorship W2620698874A5007299136 @default.
- W2620698874 hasAuthorship W2620698874A5023555343 @default.
- W2620698874 hasAuthorship W2620698874A5027516492 @default.
- W2620698874 hasAuthorship W2620698874A5041873770 @default.
- W2620698874 hasAuthorship W2620698874A5050061433 @default.
- W2620698874 hasAuthorship W2620698874A5052893110 @default.
- W2620698874 hasBestOaLocation W26206988741 @default.
- W2620698874 hasConcept C111797529 @default.
- W2620698874 hasConcept C11413529 @default.
- W2620698874 hasConcept C114614502 @default.
- W2620698874 hasConcept C118615104 @default.
- W2620698874 hasConcept C126255220 @default.
- W2620698874 hasConcept C156340839 @default.
- W2620698874 hasConcept C187455244 @default.
- W2620698874 hasConcept C33923547 @default.
- W2620698874 hasConcept C41008148 @default.
- W2620698874 hasConceptScore W2620698874C111797529 @default.
- W2620698874 hasConceptScore W2620698874C11413529 @default.
- W2620698874 hasConceptScore W2620698874C114614502 @default.
- W2620698874 hasConceptScore W2620698874C118615104 @default.
- W2620698874 hasConceptScore W2620698874C126255220 @default.
- W2620698874 hasConceptScore W2620698874C156340839 @default.
- W2620698874 hasConceptScore W2620698874C187455244 @default.
- W2620698874 hasConceptScore W2620698874C33923547 @default.
- W2620698874 hasConceptScore W2620698874C41008148 @default.
- W2620698874 hasLocation W26206988741 @default.
- W2620698874 hasOpenAccess W2620698874 @default.
- W2620698874 hasPrimaryLocation W26206988741 @default.
- W2620698874 hasRelatedWork W2031344019 @default.
- W2620698874 hasRelatedWork W2042196580 @default.
- W2620698874 hasRelatedWork W2059276870 @default.
- W2620698874 hasRelatedWork W2112972328 @default.
- W2620698874 hasRelatedWork W2964781602 @default.
- W2620698874 hasRelatedWork W3072883259 @default.
- W2620698874 hasRelatedWork W3094179009 @default.
- W2620698874 hasRelatedWork W4293879768 @default.
- W2620698874 hasRelatedWork W4297807235 @default.
- W2620698874 hasRelatedWork W2185673134 @default.
- W2620698874 isParatext "false" @default.
- W2620698874 isRetracted "false" @default.
- W2620698874 magId "2620698874" @default.
- W2620698874 workType "article" @default.