Our paper “Managing Infinite Abstractions in Numeric Pattern Database Heuristics” got accepted at AAAI 2026.