[qbane]

If you assume that a cell is full and then get a contradiction, this is pretty much a backtracking to a computer. So it is reasonable that the solver does not do this trick.

[gus_massa]

I agree they are the same. It's just that if the try is short enough, I consider it a valid trick.