FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2891003624> ?p ?o ?g. }

• W2891003624 abstract "We address item relocation problems in graphs in this paper. We assume items placed in vertices of an undirected graph with at most one item per vertex. Items can be moved across edges while various constraints depending on the type of relocation problem must be satisfied. We introduce a general problem formulation that encompasses known types of item relocation problems such as multi-agent path finding (MAPF) and token swapping (TSWAP). In this formulation we express two new types of relocation problems derived from token swapping that we call token rotation (TROT) and token permutation (TPERM). Our solving approach for item relocation combines satisfiability modulo theory (SMT) with conflict-based search (CBS). We interpret CBS in the SMT framework where we start with the basic model and refine the model with a collision resolution constraint whenever a collision between items occurs in the current solution. The key difference between the standard CBS and our SMT-based modification of CBS (SMT-CBS) is that the standard CBS branches the search to resolve the collision while in SMT-CBS we iteratively add a single disjunctive collision resolution constraint. Experimental evaluation on several benchmarks shows that the SMT-CBS algorithm significantly outperforms the standard CBS. We also compared SMT-CBS with a modification of the SAT-based MDD-SAT solver that uses an eager modeling of item relocation in which all potential collisions are eliminated by constrains in advance. Experiments show that lazy approach in SMT-CBS produce fewer constraint than MDD-SAT and also achieves faster solving run-times." @default.
• W2891003624 created "2018-09-27" @default.
• W2891003624 creator A5031732925 @default.
• W2891003624 date "2018-09-16" @default.
• W2891003624 modified "2023-09-27" @default.
• W2891003624 title "Lazy Modeling of Variants of Token Swapping Problem and Multi-agent Path Finding through Combination of Satisfiability Modulo Theories and Conflict-based Search." @default.
• W2891003624 cites W119150805 @default.
• W2891003624 cites W126122642 @default.
• W2891003624 cites W1511069520 @default.
• W2891003624 cites W1551562380 @default.
• W2891003624 cites W1553665348 @default.
• W2891003624 cites W1588299616 @default.
• W2891003624 cites W1973396716 @default.
• W2891003624 cites W1985591826 @default.
• W2891003624 cites W1986164452 @default.
• W2891003624 cites W1989407213 @default.
• W2891003624 cites W2002696801 @default.
• W2891003624 cites W2008048468 @default.
• W2891003624 cites W2015135969 @default.
• W2891003624 cites W2021486492 @default.
• W2891003624 cites W2024305877 @default.
• W2891003624 cites W2041486081 @default.
• W2891003624 cites W2044113147 @default.
• W2891003624 cites W2048036606 @default.
• W2891003624 cites W2113832842 @default.
• W2891003624 cites W2135939055 @default.
• W2891003624 cites W2137514195 @default.
• W2891003624 cites W2149951504 @default.
• W2891003624 cites W2160386431 @default.
• W2891003624 cites W2167451681 @default.
• W2891003624 cites W2167979940 @default.
• W2891003624 cites W2241357751 @default.
• W2891003624 cites W2261103830 @default.
• W2891003624 cites W2406007181 @default.
• W2891003624 cites W2415170901 @default.
• W2891003624 cites W2564453173 @default.
• W2891003624 cites W2575733488 @default.
• W2891003624 cites W2577044415 @default.
• W2891003624 cites W2587857318 @default.
• W2891003624 cites W2604459184 @default.
• W2891003624 cites W2739829010 @default.
• W2891003624 cites W2914296650 @default.
• W2891003624 cites W2962926282 @default.
• W2891003624 cites W2964198355 @default.
• W2891003624 cites W2964211993 @default.
• W2891003624 cites W3359552 @default.
• W2891003624 cites W629520538 @default.
• W2891003624 cites W78552530 @default.
• W2891003624 cites W93645818 @default.
• W2891003624 hasPublicationYear "2018" @default.
• W2891003624 type Work @default.
• W2891003624 sameAs 2891003624 @default.
• W2891003624 citedByCount "1" @default.
• W2891003624 countsByYear W28910036242019 @default.
• W2891003624 crossrefType "posted-content" @default.
• W2891003624 hasAuthorship W2891003624A5031732925 @default.
• W2891003624 hasConcept C11413529 @default.
• W2891003624 hasConcept C118615104 @default.
• W2891003624 hasConcept C132525143 @default.
• W2891003624 hasConcept C164155591 @default.
• W2891003624 hasConcept C168773769 @default.
• W2891003624 hasConcept C199360897 @default.
• W2891003624 hasConcept C2524010 @default.
• W2891003624 hasConcept C2776036281 @default.
• W2891003624 hasConcept C2777735758 @default.
• W2891003624 hasConcept C2779019381 @default.
• W2891003624 hasConcept C33923547 @default.
• W2891003624 hasConcept C38652104 @default.
• W2891003624 hasConcept C41008148 @default.
• W2891003624 hasConcept C48145219 @default.
• W2891003624 hasConcept C54732982 @default.
• W2891003624 hasConcept C80444323 @default.
• W2891003624 hasConcept C80899671 @default.
• W2891003624 hasConceptScore W2891003624C11413529 @default.
• W2891003624 hasConceptScore W2891003624C118615104 @default.
• W2891003624 hasConceptScore W2891003624C132525143 @default.
• W2891003624 hasConceptScore W2891003624C164155591 @default.
• W2891003624 hasConceptScore W2891003624C168773769 @default.
• W2891003624 hasConceptScore W2891003624C199360897 @default.
• W2891003624 hasConceptScore W2891003624C2524010 @default.
• W2891003624 hasConceptScore W2891003624C2776036281 @default.
• W2891003624 hasConceptScore W2891003624C2777735758 @default.
• W2891003624 hasConceptScore W2891003624C2779019381 @default.
• W2891003624 hasConceptScore W2891003624C33923547 @default.
• W2891003624 hasConceptScore W2891003624C38652104 @default.
• W2891003624 hasConceptScore W2891003624C41008148 @default.
• W2891003624 hasConceptScore W2891003624C48145219 @default.
• W2891003624 hasConceptScore W2891003624C54732982 @default.
• W2891003624 hasConceptScore W2891003624C80444323 @default.
• W2891003624 hasConceptScore W2891003624C80899671 @default.
• W2891003624 hasLocation W28910036241 @default.
• W2891003624 hasOpenAccess W2891003624 @default.
• W2891003624 hasPrimaryLocation W28910036241 @default.
• W2891003624 hasRelatedWork W118296560 @default.
• W2891003624 hasRelatedWork W1212025135 @default.
• W2891003624 hasRelatedWork W1550483759 @default.
• W2891003624 hasRelatedWork W1552077729 @default.
• W2891003624 hasRelatedWork W2146220671 @default.
• W2891003624 hasRelatedWork W2209258137 @default.
• W2891003624 hasRelatedWork W2272860309 @default.

• next