TY - RPRT TI - Karush-Kuhn-Tucker conditions to build efficient contractors; Application to TDoA localization AU - Luc Jaulin PY - 2023 UR - https://arxiv.org/abs/2306.09679 ID - 2306.09679 ER -