Matches in SemOpenAlex for { <https://semopenalex.org/work/W3028080309> ?p ?o ?g. }
- W3028080309 abstract "In this study, we consider the multiple traveling salesmen problem (mTSP) with the min-max objective of minimizing the longest tour length. We begin by reviewing an existing integer programming (IP) formulation of this problem. Then, we present several novel conjunctive normal form (CNF) encodings and an approach based on modifying a maximum satisfiability (MaxSAT) algorithm for the min-max mTSP. The correctness and the space complexity of each encoding are analyzed. In our experiments, we compare the performance of solving the TSP benchmark instances using an existing encoding and our new encodings comparing the results achieved using an implemented group MaxSAT solver to those achieved using the IP method. The results show that for the same problem, the new encodings significantly reduce the number of generated clauses over the existing CNF encoding. Although the proposals are still not competitive compared to the IP method, one of them may be more effective on relatively large-scale problems, and it has an advantage over the IP method in solving an instance with a small ratio of the number of cities to the number of salesmen." @default.
- W3028080309 created "2020-05-29" @default.
- W3028080309 creator A5011965834 @default.
- W3028080309 creator A5023799110 @default.
- W3028080309 creator A5052338271 @default.
- W3028080309 creator A5076716774 @default.
- W3028080309 creator A5085664282 @default.
- W3028080309 date "2020-11-01" @default.
- W3028080309 modified "2023-09-24" @default.
- W3028080309 title "CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem" @default.
- W3028080309 cites W111132822 @default.
- W3028080309 cites W144370434 @default.
- W3028080309 cites W1987283446 @default.
- W3028080309 cites W2013473339 @default.
- W3028080309 cites W2023253293 @default.
- W3028080309 cites W2036265926 @default.
- W3028080309 cites W2039863186 @default.
- W3028080309 cites W2041970949 @default.
- W3028080309 cites W2049287714 @default.
- W3028080309 cites W2068343681 @default.
- W3028080309 cites W2071319337 @default.
- W3028080309 cites W2089754250 @default.
- W3028080309 cites W2118406528 @default.
- W3028080309 cites W2143987816 @default.
- W3028080309 cites W2146441625 @default.
- W3028080309 cites W2216725884 @default.
- W3028080309 cites W2219548420 @default.
- W3028080309 cites W2249989021 @default.
- W3028080309 cites W2395737562 @default.
- W3028080309 cites W2809690215 @default.
- W3028080309 cites W2909188079 @default.
- W3028080309 cites W2945443477 @default.
- W3028080309 cites W54684292 @default.
- W3028080309 cites W82625556 @default.
- W3028080309 cites W99701375 @default.
- W3028080309 cites W1566938367 @default.
- W3028080309 doi "https://doi.org/10.1109/ictai50040.2020.00053" @default.
- W3028080309 hasPublicationYear "2020" @default.
- W3028080309 type Work @default.
- W3028080309 sameAs 3028080309 @default.
- W3028080309 citedByCount "0" @default.
- W3028080309 crossrefType "proceedings-article" @default.
- W3028080309 hasAuthorship W3028080309A5011965834 @default.
- W3028080309 hasAuthorship W3028080309A5023799110 @default.
- W3028080309 hasAuthorship W3028080309A5052338271 @default.
- W3028080309 hasAuthorship W3028080309A5076716774 @default.
- W3028080309 hasAuthorship W3028080309A5085664282 @default.
- W3028080309 hasConcept C111797529 @default.
- W3028080309 hasConcept C11413529 @default.
- W3028080309 hasConcept C125411270 @default.
- W3028080309 hasConcept C126255220 @default.
- W3028080309 hasConcept C13280743 @default.
- W3028080309 hasConcept C154945302 @default.
- W3028080309 hasConcept C16221470 @default.
- W3028080309 hasConcept C168773769 @default.
- W3028080309 hasConcept C185798385 @default.
- W3028080309 hasConcept C187455244 @default.
- W3028080309 hasConcept C199360897 @default.
- W3028080309 hasConcept C205649164 @default.
- W3028080309 hasConcept C2778770139 @default.
- W3028080309 hasConcept C33923547 @default.
- W3028080309 hasConcept C41008148 @default.
- W3028080309 hasConcept C55439883 @default.
- W3028080309 hasConcept C56086750 @default.
- W3028080309 hasConcept C6943359 @default.
- W3028080309 hasConcept C80444323 @default.
- W3028080309 hasConcept C97137487 @default.
- W3028080309 hasConceptScore W3028080309C111797529 @default.
- W3028080309 hasConceptScore W3028080309C11413529 @default.
- W3028080309 hasConceptScore W3028080309C125411270 @default.
- W3028080309 hasConceptScore W3028080309C126255220 @default.
- W3028080309 hasConceptScore W3028080309C13280743 @default.
- W3028080309 hasConceptScore W3028080309C154945302 @default.
- W3028080309 hasConceptScore W3028080309C16221470 @default.
- W3028080309 hasConceptScore W3028080309C168773769 @default.
- W3028080309 hasConceptScore W3028080309C185798385 @default.
- W3028080309 hasConceptScore W3028080309C187455244 @default.
- W3028080309 hasConceptScore W3028080309C199360897 @default.
- W3028080309 hasConceptScore W3028080309C205649164 @default.
- W3028080309 hasConceptScore W3028080309C2778770139 @default.
- W3028080309 hasConceptScore W3028080309C33923547 @default.
- W3028080309 hasConceptScore W3028080309C41008148 @default.
- W3028080309 hasConceptScore W3028080309C55439883 @default.
- W3028080309 hasConceptScore W3028080309C56086750 @default.
- W3028080309 hasConceptScore W3028080309C6943359 @default.
- W3028080309 hasConceptScore W3028080309C80444323 @default.
- W3028080309 hasConceptScore W3028080309C97137487 @default.
- W3028080309 hasFunder F4320320212 @default.
- W3028080309 hasLocation W30280803091 @default.
- W3028080309 hasOpenAccess W3028080309 @default.
- W3028080309 hasPrimaryLocation W30280803091 @default.
- W3028080309 hasRelatedWork W10891775 @default.
- W3028080309 hasRelatedWork W1949088 @default.
- W3028080309 hasRelatedWork W2207358 @default.
- W3028080309 hasRelatedWork W2728692 @default.
- W3028080309 hasRelatedWork W3795022 @default.
- W3028080309 hasRelatedWork W4761847 @default.
- W3028080309 hasRelatedWork W4983232 @default.
- W3028080309 hasRelatedWork W5547553 @default.
- W3028080309 hasRelatedWork W723740 @default.