TY - RPRT TI - SCOD: From Heuristics to Theory AU - Vojtech Franc AU - Jakub Paplham AU - Daniel Prusa PY - 2024 UR - https://arxiv.org/abs/2403.16916 ID - 2403.16916 ER -