Mô hình thuật toán quay lui tổng quát quy định việc tìm trên các dãy số nguyên (x1,x2,...,xk sử dụng lệnh gọi đệ quy để mô tả bước đi tiếp theo với k + 1, nếu không tìm được bước đi tiếp theo thì quay lui để tìm hướng đi khác.

Mô hình tổng quát duyệt quay lui sử dụng đệ quy như sau: