Efficient Preimage Approximation for Neural Network Certification. - Anton Björklund; Mykola Zaitsev; Marta Kwiatkowska (CoRR, 2025)