Djamila Sam-Haroud und Boi V. Faltings stellen ein Verfahren vor, mit dem globale Konsistenz in ICSPs hergestellt werden kann (vgl. Haroud und Faltings, 1994; Sam-Haroud, 1995). Der Lösungsraum wird dazu in einer hierarchischen Zerlegung in Form von -Bäumen (engl. -trees) repräsentiert. -Bäume sind eine Repräsentationsform, die üblicherweise in der Bildverarbeitung Anwendung findet. Der Lösungsraum wird dazu in drei Kategorien eingeteilt und farblich markiert:
Die grauen Bereiche, die sowohl Lösungen als auch Elemente enthalten, die nicht Teil einer Lösungen sind, werden in neue Unterbereiche zerteilt und wiederum klassifiziert. Dies geschieht so lange, bis eine definierte Präzisionsgrenze erreicht wird, d.h. die zerteilten Bereiche eine bestimmte Größe erreicht haben. Der Lösungsraum wird bei diesem Vorgehen quasi durch eine Menge konsistenter Boxen ,,aufgefüllt``. Das Verfahren ist daher eher für die Berechnung von Lösungsräumen anstatt für punktgenaue Lösungen vorgesehen.5.109