TY - RPRT TI - Advances in STV Margin Computation AU - Michelle Blom AU - Alexander Ek AU - Peter J. Stuckey AU - Vanessa Teague AU - Damjan Vukcevic PY - 2026 DO - 10.1007/978-3-032-39512-2_1 UR - https://arxiv.org/abs/2607.21178 ID - 2607.21178 ER -