Synthesiz3 This: an SMT-Based Approach for Synthesis with Uncomputable Symbols. - Petra Hozzová; Nikolaj Bjørner (CoRR, 2025)