Yet another candidate reduction technique has now been implemented in Pocket Sudoku: the XY-Wing. If you are not already familiar with it, read about it here, here and here (and on numerous other sites on the web).