TY - RPRT TI - Solving Flood-It Puzzles: A Comparison of Tailored A* Search with Declarative Solver Approaches AU - Philipp von Manteuffel AU - Benjamin Blankertz PY - 2026 UR - https://arxiv.org/abs/2610.31100 ID - 2610.31100 ER -