... es gestiona una única llista amb les restriccions pendents de satisfer.

... es gestionen tres llistes: la llista de variables, la llista de valors i la llista de restriccions.

... no es gestiona cap llista.