Figure 4From: Atom mapping with constraint programmingApproach overview. A simplified overview of the extended CSP for a homovalent ITS of size k=6 where the extensions of the basic CSP are given in the gray box in the lower right.Back to article page