The process can be repeated with larger and larger values of k {\displaystyle k} until all possible violations have been ruled out (cf. Iterative deepening depth-first search).
Αυτή η διαδικασία επαναλαμβάνεται για όλο και μεγαλύτερες τιμές του k {\displaystyle k} μέχρι να αποκλειστούν όλες οι πιθανές παραβάσεις (iterative deepening depth-first search).