TY - RPRT TI - Implementing evaluation strategies for continuous real functions AU - Michal Konečný AU - Eike Neumann PY - 2019 UR - https://arxiv.org/abs/1910.04891 ID - 1910.04891 ER -