Migrating techniques from search-based multi-agent path finding solvers to SAT-based approach (Q5076310)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7527534
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Migrating techniques from search-based multi-agent path finding solvers to SAT-based approach |
scientific article; zbMATH DE number 7527534 |
Statements
Migrating Techniques from Search-based Multi-Agent Path Finding Solvers to SAT-based Approach (English)
0 references
16 May 2022
0 references
problem solving
0 references
satisfiability
0 references
constraint satisfaction
0 references
planning
0 references
0.7896777391433716
0 references
0.7737360596656799
0 references
0.7393103241920471
0 references
0.7363137602806091
0 references
0.7342771887779236
0 references
