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

@@ Property / DOI @@
-.1007/s10472-017-9560-z
@@ Property / DOI: 10.1007/s10472-017-9560-z / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Gecode
@@ Property / describes a project that uses: Gecode / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Graphplan
@@ Property / describes a project that uses: Graphplan / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Walksat
@@ Property / describes a project that uses: Walksat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Gurobi
@@ Property / describes a project that uses: Gurobi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Boolector
@@ Property / describes a project that uses: Boolector / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sugar
@@ Property / describes a project that uses: Sugar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Azucar
@@ Property / describes a project that uses: Azucar / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10472-017-9560-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2739829010
@@ Property / OpenAlex ID: W2739829010 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q58682808
@@ Property / Wikidata QID: Q58682808 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S10472-017-9560-Z
@@ Property / DOI: 10.1007/S10472-017-9560-Z / rank @@
+Normal rank