Merge-and-Shrink Abstraction (Q3189651): Difference between revisions

@@ Property / describes a project that uses @@
+PDDL
@@ Property / describes a project that uses: PDDL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / 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.1145/2559951
@@ Property / full work available at URL: https://doi.org/10.1145/2559951 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2143303446
@@ Property / OpenAlex ID: W2143303446 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of propositional STRIPS planning
+Normal rank
@@ Property / cites work @@
+Grammar Analysis and Parsing by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Complexity of generalized satisfiability counting problems
+Normal rank
@@ Property / cites work @@
+Q4411139
@@ Property / cites work: Q4411139 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized best-first search strategies and the optimality of A*
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Q4426383
@@ Property / cites work: Q4426383 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715685
@@ Property / cites work: Q5715685 / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Q5313998
@@ Property / cites work: Q5313998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624014
@@ Property / cites work: Q3624014 / rank @@
+Normal rank
@@ Property / cites work @@
+Maximizing over multiple pattern databases speeds up heuristic search
+Normal rank
@@ Property / cites work @@
+EXPERIENCES WITH PLANNING FOR NATURAL LANGUAGE GENERATION
+Normal rank
@@ Property / cites work @@
+Q4423257
@@ Property / cites work: Q4423257 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385545
@@ Property / cites work: Q4385545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4488091
@@ Property / cites work: Q4488091 / rank @@
+Normal rank