1 code implementation • 13 Oct 2022 • Andre Schidler, Robert Ganian, Manuel Sorge, Stefan Szeider
However, here the order of the polynomial in the running time depends on the width, and this is known to be unavoidable; therefore, the problem is not fixed-parameter tractable parameterized by either of these width measures.
1 code implementation • 9 Nov 2020 • Johannes K. Fichte, Markus Hecher, Andre Schidler
We show that admissibility is indeed weaker than consistency and establish correctness of the DS* algorithm when using an admissible heuristic function.