Một thuật toán liệt kê phải đảm bảo:

Không duyệt các cấu hình không thuộc tập các cấu hình

Không bỏ xót và không lặp lại bất kì một cấu hình nào

Không bỏ xót một cấu hình nào

Không duyệt lại các cấu hình đã duyệt