### 3.7.3. Abstract interpretation

Denotes that abstract interpretation was used for deriving a filtering algorithm for a constraint $C$ from a polynomial algorithm describing a checker for a ground instance of $C$. Abstract interpretation [CousotCousot77] executes an algorithm on abstract values in order to deduce some information about that algorithm.