State-variable planning under structural restrictions: algorithms and complexity (Q1128767): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215782
@@ Property / cites work: Q4215782 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856772
@@ Property / cites work: Q4856772 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-order planning: Evaluating possible efficiency gains
+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 @@
+The computational complexity of propositional STRIPS planning
+Normal rank
@@ Property / cites work @@
+Planning for conjunctive goals
@@ Property / cites work: Planning for conjunctive goals / rank @@
+Normal rank
@@ Property / cites work @@
+A note on two problems in connexion with graphs
@@ Property / cites work: A note on two problems in connexion with graphs / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385525
@@ Property / cites work: Q4385525 / rank @@
+Normal rank
@@ Property / cites work @@
+State-variable planning under structural restrictions: algorithms and complexity
+Normal rank
@@ Property / cites work @@
+Algorithms and Limits for Compact Plan Representations
+Normal rank
@@ Property / cites work @@
+Q3219752
@@ Property / cites work: Q3219752 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / Wikidata QID @@
+Q126807894
@@ Property / Wikidata QID: Q126807894 / rank @@
+Normal rank