The New Sudoku Players' Forum

[ronk]

Where is <3> in [r3/b3] of your example?

Sorry, I should have seen that, but I took the AIC literally and didn't notice an implied (3)r3c7 = (3)r3c9.

(6)r3c3 = (36)UR1[r38c79]+(8)r8c9 - (8=46)r12c9 => r3c79<>6

Perhaps it would be better to make it explicit:

(6)r3c3 = (36)r3c79 -aur- (36=8)r8c79 - (8=46)r12c9 ==> r3c79<>6

[daj95376]

Perhaps it would be better to make it explicit:

(6)r3c3 = (36)r3c79 -aur- (36=8)r8c79 - (8=46)r12c9 ==> r3c79<>6

Good suggestion. But I'd like to include the AHP. Now, all I need to do is remember your suggestion.

AHP(6=36)r3c379 -AUR- (36=8)r8c79 - (8=46)r12c9 ==> r3c79<>6