This paper proposes an efficient contractor for the TDoA (Time Differential of Arrival) equation. The contractor is based on a minimal inclusion test which is built using the Karush-Kuhn-Tucker (KKT) conditions. An application related to the localization of sound sources using a TDoA technique is proposed.

翻译：本文提出了一种针对TDoA（到达时间差）方程的高效收缩算子。该收缩算子基于利用Karush-Kuhn-Tucker (KKT)条件构建的最小包含检验。文中还提出了一个使用TDoA技术定位声源的应用实例。