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