DanO wrote:If the cost of a guess is expected to be less than the cost for tabling or super coloring wouldn't the logical choice be to guess?
Well, many of the more complicated techniques are structured guesses, such as Nishio and Bowman Bingo. Even Forcing Chains could be considered a form of guessing.
This is one reason why I think that the techniques used to solve super-hard puzzles are not that interesting except that they might provide clues as to finding new non-guessing patterns that humans are good at seeing. I didn't work on Tabling to solve puzzles as much as I did it to help dig out the patterns.
