One might argue that if, for a specific combination of givens, there is 
only one possible valid solution, then there must theoretically exist 
some chain of "logic" which can reveal it without backtracking.

Post a reply to this message