Fritzsche, M.; Gnad, D.; Gruntov, M.; Shleyfman, A. Managing Infinite Abstractions in Numeric Pattern Database Heuristics. AAAI 2026, 40, 36227-36235.