La première étape consiste à transformer le tableau en un arbre binaire. Le premier élément est déjà trivialement bien ordonné, puis on ajoute un à un les éléments suivants. On réordonne chaque fois ...

Dans les algorithmes de programmation par contraintes, la propagation de contraintes permet de réduire les domaines des variables, dans le but d'accélérer le parcours de l'arbre de recherche.