Matteo Cardellini, Enrico Giunchiglia, Marco Maratea: Symbolic Numeric Planning with Patterns. CoRR abs/2312.09963 (2023)