Multi-Agent Path Finding: A New Boolean Encoding (Q5041021)
From MaRDI portal
scientific article; zbMATH DE number 7603114
Language | Label | Description | Also known as |
---|---|---|---|
English | Multi-Agent Path Finding: A New Boolean Encoding |
scientific article; zbMATH DE number 7603114 |
Statements
Multi-Agent Path Finding: A New Boolean Encoding (English)
0 references
18 October 2022
0 references
search multi-agent systems
0 references
logic programming
0 references
satisfiability
0 references