Landmark-enhanced abstraction heuristics (Q1761301): Difference between revisions

@@ Property / cites work @@
+Strengthening Landmark Heuristics via Hitting Sets
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715685
@@ Property / cites work: Q5715685 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624014
@@ Property / cites work: Q3624014 / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding planning tasks. Domain complexity and heuristic decomposition
+Normal rank
@@ Property / cites work @@
+Q5715683
@@ Property / cites work: Q5715683 / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit Abstraction Heuristics
@@ Property / cites work: Implicit Abstraction Heuristics / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal admissible composition of abstraction heuristics
+Normal rank
@@ Property / cites work @@
+Sound and Complete Landmarks for And/Or Graphs
@@ Property / cites work: Sound and Complete Landmarks for And/Or Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Branching and pruning: An optimal temporal POCL planner based on constraint programming
+Normal rank
@@ Property / cites work @@
+Q3624143
@@ Property / cites work: Q3624143 / rank @@
+Normal rank