Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems (Q1688718): Difference between revisions

@@ Property / cites work @@
+Q3056948
@@ Property / cites work: Q3056948 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Optimal Parallel Cooperative Path-Finding
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+The increasing cost tree search for optimal multi-agent pathfinding
+Normal rank
@@ Property / cites work @@
+Planning as satisfiability: parallel plans and algorithms for plan search
+Normal rank
@@ Property / cites work @@
+SAT race 2015
@@ Property / cites work: SAT race 2015 / rank @@
+Normal rank
@@ Property / cites work @@
+Representative Encodings to Translate Finite CSPs into SAT
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2712822
@@ Property / cites work: Q2712822 / rank @@
+Normal rank
@@ Property / cites work @@
+Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Conflict-based search for optimal multi-agent pathfinding
+Normal rank
@@ Property / cites work @@
+Q3624124
@@ Property / cites work: Q3624124 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative and core-guided maxsat solving: a survey and assessment
+Normal rank
@@ Property / cites work @@
+Planning and Control for Cooperative Manipulation and Transportation with Aerial Robots
+Normal rank
@@ Property / cites work @@
+Bridging constraint satisfaction and Boolean satisfiability
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Subdimensional expansion for multirobot path planning
+Normal rank
@@ Property / cites work @@
+Towards Robust CNF Encodings of Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+Graph puzzles, homotopy, and the alternating group
+Normal rank
@@ Property / cites work @@
+Push and Rotate: a Complete Multi-agent Pathfinding Algorithm
+Normal rank
@@ Property / cites work @@
+Compiling finite linear CSP into SAT
@@ Property / cites work: Compiling finite linear CSP into SAT / rank @@
+Normal rank
@@ Property / cites work @@
+SOLVING ABSTRACT COOPERATIVE PATH-FINDING IN DENSELY POPULATED ENVIRONMENTS
+Normal rank
@@ Property / cites work @@
+Q5593816
@@ Property / cites work: Q5593816 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473043
@@ Property / cites work: Q4473043 / rank @@
+Normal rank