Matches in SemOpenAlex for { <https://semopenalex.org/work/W3082531737> ?p ?o ?g. }
- W3082531737 endingPage "161244" @default.
- W3082531737 startingPage "161232" @default.
- W3082531737 abstract "The classic p -center problem consists of choosing a set of p vertices in an undirected graph as facilities in order to minimize the maximum distance between each client vertex and its closest facility. The problem is equivalent to covering all vertices by no more than p circles with the smallest possible radius, which can be tackled by solving a series of the decision version of set covering subproblems with the same cardinality constraint (≤ p ) and gradually decreasing the covering radius. In this paper, we solve the p -center problem via set covering and SAT. We first transform the p -center problem into a series of set covering subproblems and simplify them by some reduction rules. Then, we present two kinds of encoding methods to convert them into CNF format and solve them with several state-of-the-art SAT solvers. Tested on three sets of totally 70 benchmark instances, our proposed approach can improve the previous best known results for 3 instances using the heuristic SAT solvers while proving the optimality for 59 instances using the exact SAT solvers. The computational results demonstrate the effectiveness of the proposed approach in terms of both solution quality and computational efficiency. In addition, the main advantage of our approach is twofold: The independence of the subproblems allows the problem to be solved in parallel; The approach to transform the original problem into SAT is flexible such that various state-of-the-art SAT solvers can be used." @default.
- W3082531737 created "2020-09-08" @default.
- W3082531737 creator A5006987699 @default.
- W3082531737 creator A5007953799 @default.
- W3082531737 creator A5038680735 @default.
- W3082531737 creator A5055451172 @default.
- W3082531737 creator A5070085150 @default.
- W3082531737 creator A5083388970 @default.
- W3082531737 date "2020-01-01" @default.
- W3082531737 modified "2023-10-17" @default.
- W3082531737 title "Effective Approaches to Solve <i>P</i>-Center Problem via Set Covering and SAT" @default.
- W3082531737 cites W1506255457 @default.
- W3082531737 cites W1639866337 @default.
- W3082531737 cites W1981991106 @default.
- W3082531737 cites W1996872016 @default.
- W3082531737 cites W2028318528 @default.
- W3082531737 cites W2030455524 @default.
- W3082531737 cites W2036265926 @default.
- W3082531737 cites W2050026209 @default.
- W3082531737 cites W2084300619 @default.
- W3082531737 cites W2093762675 @default.
- W3082531737 cites W2094078700 @default.
- W3082531737 cites W2100024690 @default.
- W3082531737 cites W2102750402 @default.
- W3082531737 cites W2119735077 @default.
- W3082531737 cites W2122578138 @default.
- W3082531737 cites W2127859636 @default.
- W3082531737 cites W2163428398 @default.
- W3082531737 cites W2579139197 @default.
- W3082531737 cites W2741170138 @default.
- W3082531737 cites W2774560569 @default.
- W3082531737 cites W2803463414 @default.
- W3082531737 cites W2989262635 @default.
- W3082531737 cites W3121553255 @default.
- W3082531737 cites W4239852074 @default.
- W3082531737 cites W4252732074 @default.
- W3082531737 doi "https://doi.org/10.1109/access.2020.3018618" @default.
- W3082531737 hasPublicationYear "2020" @default.
- W3082531737 type Work @default.
- W3082531737 sameAs 3082531737 @default.
- W3082531737 citedByCount "2" @default.
- W3082531737 countsByYear W30825317372023 @default.
- W3082531737 crossrefType "journal-article" @default.
- W3082531737 hasAuthorship W3082531737A5006987699 @default.
- W3082531737 hasAuthorship W3082531737A5007953799 @default.
- W3082531737 hasAuthorship W3082531737A5038680735 @default.
- W3082531737 hasAuthorship W3082531737A5055451172 @default.
- W3082531737 hasAuthorship W3082531737A5070085150 @default.
- W3082531737 hasAuthorship W3082531737A5083388970 @default.
- W3082531737 hasBestOaLocation W30825317371 @default.
- W3082531737 hasConcept C111335779 @default.
- W3082531737 hasConcept C11413529 @default.
- W3082531737 hasConcept C124101348 @default.
- W3082531737 hasConcept C126255220 @default.
- W3082531737 hasConcept C132525143 @default.
- W3082531737 hasConcept C13280743 @default.
- W3082531737 hasConcept C173801870 @default.
- W3082531737 hasConcept C177264268 @default.
- W3082531737 hasConcept C185592680 @default.
- W3082531737 hasConcept C185798385 @default.
- W3082531737 hasConcept C199360897 @default.
- W3082531737 hasConcept C205649164 @default.
- W3082531737 hasConcept C2524010 @default.
- W3082531737 hasConcept C2779463800 @default.
- W3082531737 hasConcept C33923547 @default.
- W3082531737 hasConcept C41008148 @default.
- W3082531737 hasConcept C8010536 @default.
- W3082531737 hasConcept C80444323 @default.
- W3082531737 hasConcept C80899671 @default.
- W3082531737 hasConcept C87117476 @default.
- W3082531737 hasConceptScore W3082531737C111335779 @default.
- W3082531737 hasConceptScore W3082531737C11413529 @default.
- W3082531737 hasConceptScore W3082531737C124101348 @default.
- W3082531737 hasConceptScore W3082531737C126255220 @default.
- W3082531737 hasConceptScore W3082531737C132525143 @default.
- W3082531737 hasConceptScore W3082531737C13280743 @default.
- W3082531737 hasConceptScore W3082531737C173801870 @default.
- W3082531737 hasConceptScore W3082531737C177264268 @default.
- W3082531737 hasConceptScore W3082531737C185592680 @default.
- W3082531737 hasConceptScore W3082531737C185798385 @default.
- W3082531737 hasConceptScore W3082531737C199360897 @default.
- W3082531737 hasConceptScore W3082531737C205649164 @default.
- W3082531737 hasConceptScore W3082531737C2524010 @default.
- W3082531737 hasConceptScore W3082531737C2779463800 @default.
- W3082531737 hasConceptScore W3082531737C33923547 @default.
- W3082531737 hasConceptScore W3082531737C41008148 @default.
- W3082531737 hasConceptScore W3082531737C8010536 @default.
- W3082531737 hasConceptScore W3082531737C80444323 @default.
- W3082531737 hasConceptScore W3082531737C80899671 @default.
- W3082531737 hasConceptScore W3082531737C87117476 @default.
- W3082531737 hasLocation W30825317371 @default.
- W3082531737 hasLocation W30825317372 @default.
- W3082531737 hasOpenAccess W3082531737 @default.
- W3082531737 hasPrimaryLocation W30825317371 @default.
- W3082531737 hasRelatedWork W2028665553 @default.
- W3082531737 hasRelatedWork W2086519370 @default.
- W3082531737 hasRelatedWork W2087343574 @default.
- W3082531737 hasRelatedWork W2105860728 @default.