TY - RPRT TI - Estimation of function's supports under arithmetic constraints AU - Norbert Hegyvári PY - 2023 UR - https://arxiv.org/abs/2311.11025 ID - 2311.11025 ER -