TY  - RPRT
TI  - Synthesiz3 This: an SMT-Based Approach for Synthesis with Uncomputable Symbols
AU  - Petra Hozzová
AU  - Nikolaj Bjørner
PY  - 2025
UR  - https://arxiv.org/abs/2504.16536
ID  - 2504.16536
ER  -