Comment by denton-scratch

Doesn't "redo from the beginning" potentially result in an infinite number of iterations?

It would be good to be able to

a) determine in bounded time whether any solution exists at all

b) use a deterministic procedure to find a solution

"Redo from the beginning" seems like cracking a cipher by brute force.