Multi-agent path finding with mutex propagation (Q2082515): Difference between revisions

@@ Property / cites work @@
+The increasing cost tree search for optimal multi-agent pathfinding
+Normal rank
@@ Property / cites work @@
+Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems
+Normal rank
@@ Property / cites work @@
+Conflict-based search for optimal multi-agent pathfinding
+Normal rank
@@ Property / cites work @@
+Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction
+Normal rank
@@ Property / cites work @@
+Fast planning through planning graph analysis
@@ Property / cites work: Fast planning through planning graph analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+Towards Robust CNF Encodings of Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Detecting Cardinality Constraints in CNF
@@ Property / cites work: Detecting Cardinality Constraints in CNF / rank @@
+Normal rank