Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Multi-Agent Path Finding with Capacity Constraints   In multi-agent path finding (MAPF) the task is to navigate agents from their
starting positions to given individual goals. The problem takes place in an
undirected graph whose vertices represent positions and edges define the
topology. Agents can move to neighbor vertices across edges. In the standard
MAPF, space occupation by agents is modeled by a capacity constraint that
permits at most one agent per vertex. We suggest an extension of MAPF in this
paper that permits more than one agent per vertex. Propositional satisfiability
(SAT) models for these extensions of MAPF are studied. We focus on modeling
capacity constraints in SAT-based formulations of MAPF and evaluation of
performance of these models. We extend two existing SAT-based formulations with
vertex capacity constraints: MDD-SAT and SMT-CBS where the former is an
approach that builds the model in an eager way while the latter relies on lazy
construction of the model.

25
The categories of this paper are: patt-sol
13
The categories of this paper are: quant-ph
16
The categories of this paper are: stat
28
The categories of this paper are: alg-geom
20
The categories of this paper are: acc-phys
24
The categories of this paper are: dg-ga
23
The categories of this paper are: solv-int
4
The categories of this paper are: cond-mat
31
The categories of this paper are: ao-sci
35
The categories of this paper are: mtrl-th
12
The categories of this paper are: nucl-th
27
The categories of this paper are: comp-gas
36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph
15
The categories of this paper are: nucl-ex
32
The categories of this paper are: atom-ph